This concept’s semantic web URI is: [ http://sw.opencyc.org/2008/06/10/concept/en/SubcollectionOfWithRelationFromTypeFn ]
<< SEARCH ALL CONCEPTS
VIEW A RANDOM CONCEPT >>

Subcollection Of With Relation From Type Fn

Unique Tag: [ SubcollectionOfWithRelationFromTypeFn ]

(Subcollection Of With Relation From Type Fn COLLECTION PREDICATE TYPE) specifies the collection of all instances INSTANCE of COLLECTION for which (PREDICATE THING INSTANCE) holds for some instance THING of TYPE. For example, (Subcollection Of With Relation From Type Fn writer creator biography) refers to the collection of biographers.
 Click Here to Add a Comment