Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Collection
Collection(collection)
more pictures...
مَجْمُوعَة, Andromeda_galaxy, Argo, Colecao, GAAP, Great_Attractor, Indian_file, InsiemeConcreto, Nag_Hammadi, Nag_Hammadi_Library, Oort_cloud, Victoriana, accumulation, aestivation, agglomerate, agglomerated, agglomeration, agglomerative, aggregate, aggregated, aggregation, aggregative, air_power, arrangement, array, art_collection, assemblage, assembly, aviation, band, bank, batch, battery, bedroom_set, bedroom_suite, bibliotheca, bibliothecal, bibliothecarial, bigeminal, bimodal, binary, blizzard, block, body, book, bottle_collection, bridge_hand, bunch, bundle, caboodle...

appearance as argument number 1
-------------------------


s__disjoint(s__Collection,s__SelfConnectedObject)

Merge.kif 1283-1283 Collection is disjoint from self connected object
s__documentation(s__Collection,s__ChineseLanguage,'群体和 Class 一样,拥有 member ,可它又不像 Class, 因为它们在时空有一个定位,而且 Collection 可以加和减 member 却不会改变自身的身份。它的 例子有工具包、足球队和羊群。')

Merge.kif 1289-1291
s__documentation(s__Collection,s__EnglishLanguage,'Collections have members like Classes, but, unlike Classes, they have a position in space-time and members can be added and subtracted without thereby changing the identity of the Collection. Some examples are toolkits, football teams, and flocks of sheep.')

Merge.kif 1284-1288
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/3/38/Stamp_collection.jpg')

pictureList.kif 10689-10689 "http://upload.wikimedia.org/wikipedia/commons/3/38/ Stamp_collection.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/3/3a/Collection_Quid.jpg')

pictureList.kif 10688-10688 "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Collection_Quid.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/3/3f/Book_collection.jpg')

pictureList.kif 10684-10684 "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Book_collection.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/4/48/Greek_pottery1.jpg')

pictureList.kif 10695-10695 "http://upload.wikimedia.org/wikipedia/commons/4/48/ Greek_pottery1.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/4/4c/Beetle_collection.jpg')

pictureList.kif 10683-10683 "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Beetle_collection.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/4/4c/Bgbo_kakteen_ies.jpg')

pictureList.kif 10694-10694 "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Bgbo_kakteen_ies.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/4/4d/LA2-katalogkort.jpg')

pictureList.kif 9966-9966 "http://upload.wikimedia.org/wikipedia/commons/4/4d/ LA2-katalogkort.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/6/64/Petosa_-_old_accordions_03.jpg')

pictureList.kif 10687-10687 "http://upload.wikimedia.org/wikipedia/commons/6/64/ Petosa_-_old_accordions_03.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/6/6e/The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg')

pictureList.kif 10693-10693 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/8/88/Collection-of-cameras.jpg')

pictureList.kif 10690-10690 "http://upload.wikimedia.org/wikipedia/commons/8/88/ Collection-of-cameras.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/a/aa/Xtal-collection.jpg')

pictureList.kif 10680-10680 "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Xtal-collection.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/b/b2/Oropos-Phaeton.jpg')

pictureList.kif 10692-10692 "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Oropos-Phaeton.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/c/ca/Pog_Collection.jpg')

pictureList.kif 10682-10682 "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Pog_Collection.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/c/cd/CD_collection.jpg')

pictureList.kif 10681-10681 "http://upload.wikimedia.org/wikipedia/commons/c/cd/ CD_collection.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/d/d3/Collection-of-Maps.jpg')

pictureList.kif 10691-10691 "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Collection-of-Maps.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/d/d3/Tuning_World_Bodensee_Thumbs_2004.JPG')

pictureList.kif 10696-10696 "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Tuning_World_Bodensee_Thumbs_2004.JPG" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/e/ec/Speccy-collection.jpg')

pictureList.kif 10686-10686 "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Speccy-collection.jpg" is a URL depicting collection
s__externalImage(s__Collection,'http://upload.wikimedia.org/wikipedia/commons/f/fa/Bottle-collection.jpg')

pictureList.kif 10685-10685 "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Bottle-collection.jpg" is a URL depicting collection
s__subclass(s__Collection,s__Object)

Merge.kif 1282-1282 Collection is a subclass of object

appearance as argument number 2
-------------------------


s__instance(s__Collection,s__SetOrClass)

Media.kif 2577-2577 UnitedStatesMinorOutlyingIslands is an instance of collection
s__range(s__QPViewsFn__m,s__Collection)

UXExperimentalTerms.kif 4366-4366 The range of qualifed page views is an instance of collection
s__range(s__QualifiedTreatmentsFn__m,s__Collection)

UXExperimentalTerms.kif 4431-4431 The range of qualifed treatments is an instance of collection
s__range(s__QualifyingEventsFn__m,s__Collection)

UXExperimentalTerms.kif 4398-4398 The range of Qualifying Factor or Event is an instance of collection
s__range(s__QualifyingPurchasesFn__m,s__Collection)

UXExperimentalTerms.kif 3239-3239 The range of Qualifying Purchase is an instance of collection
s__range(s__SellersItemsFn__m,s__Collection)

UXExperimentalTerms.kif 1181-1181 The range of sellers items is an instance of collection
s__range(s__SellersOtherItemsFn__m,s__Collection)

UXExperimentalTerms.kif 1220-1220 The range of sellers other items is an instance of collection
s__range(s__SiteWideNewBuyersFn__m,s__Collection)

UXExperimentalTerms.kif 3562-3562 The range of new buyers is an instance of collection
s__range(s__SiteWideNewRegistrationsFn__m,s__Collection)

UXExperimentalTerms.kif 3615-3615 The range of site-wide new registrations is an instance of collection
s__range(s__SiteWideNewSellersFn__m,s__Collection)

UXExperimentalTerms.kif 3662-3662 The range of site-wide new sellers is an instance of collection
s__range(s__TreatedUsersFn__m,s__Collection)

UXExperimentalTerms.kif 4471-4471 The range of TreatedUsersFn is an instance of collection
s__subclass(s__Archipelago,s__Collection)

Geography.kif 5504-5504 Archipelago is a subclass of collection
s__instance(s__Collection,s__SetOrClass)

Society.kif 415-415 BookStoreChain is a subclass of collection
s__instance(s__Buffet,s__SetOrClass)

Dining.kif 258-258 Buffet is a subclass of collection
s__subclass(s__ClothingSuit,s__Collection)

Mid-level-ontology.kif 5577-5577 Clothing suit is a subclass of collection
s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 7325-7325 Communication system is a subclass of collection
s__instance(s__Convoy,s__SetOrClass)

Mid-level-ontology.kif 20093-20093 Convoy is a subclass of collection
s__instance(s__Collection,s__SetOrClass)

Music.kif 60-60 Discography is a subclass of collection
s__instance(s__DrugStoreChain,s__SetOrClass)

Society.kif 414-414 DrugStoreChain is a subclass of collection
s__subclass(s__FireSprinklerSystem,s__Collection)

Mid-level-ontology.kif 23333-23333 Sprinkler system is a subclass of collection
s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 4049-4049 Fleet is a subclass of collection
s__subclass(s__GasolineStationChain,s__Collection)

Society.kif 410-410 GasolineStationChain is a subclass of collection
s__instance(s__GolgiApparatus,s__SetOrClass)

VirusProteinAndCellPart.kif 472-472 Golgi apparatus is a subclass of collection
s__subclass(s__GroceryStoreChain,s__Collection)

Society.kif 416-416 GroceryStoreChain is a subclass of collection
s__instance(s__Group,s__SetOrClass)

Merge.kif 16375-16375 Group is a subclass of collection

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__ABPFn__m,1,s__Collection)

UXExperimentalTerms.kif 3432-3432 The number 1 argument of average buying price is an instance of collection
s__domain(s__ASPFn__m,1,s__Collection)

UXExperimentalTerms.kif 3475-3475 The number 1 argument of average buying price is an instance of collection
s__domain(s__AuctionGMBFn__m,1,s__Collection)

UXExperimentalTerms.kif 3397-3397 The number 1 argument of gross merchandise bought in auctions is an instance of collection
s__domain(s__BidCountFn__m,1,s__Collection)

UXExperimentalTerms.kif 3117-3117 The number 1 argument of bid count is an instance of collection
s__domain(s__BoughtItemsFn__m,1,s__Collection)

UXExperimentalTerms.kif 3084-3084 The number 1 argument of bought items is an instance of collection
s__domain(s__ClickThroughRateFn__m,1,s__Collection)

UXExperimentalTerms.kif 3521-3521 The number 1 argument of click-through rate is an instance of collection
s__domain(s__ConversionRateFn__m,1,s__Collection)

UXExperimentalTerms.kif 3048-3048 The number 1 argument of conversion rate is an instance of collection
s__domain(s__GMBFn__m,1,s__Collection)

UXExperimentalTerms.kif 3151-3151 The number 1 argument of gross merchandise bought is an instance of collection
s__domain(s__GMVFn__m,1,s__Collection)

UXExperimentalTerms.kif 3194-3194 The number 1 argument of gross merchandise volume is an instance of collection
s__domain(s__SCRFn__m,1,s__Collection)

UXExperimentalTerms.kif 3854-3854 The number 1 argument of sales conversion rate is an instance of collection
s__domain(s__controlGroup__m,1,s__Collection)

UXExperimentalTerms.kif 4036-4036 The number 1 argument of control group is an instance of collection
s__domain(s__experimentalTreatmentCollection__m,1,s__Collection)

UXExperimentalTerms.kif 4229-4229 The number 1 argument of experimental treatment is an instance of collection
s__domain(s__firstTimeBuyers__m,3,s__Collection)

UXExperimentalTerms.kif 3715-3715 The number 3 argument of first time buyers is an instance of collection
s__domain(s__firstTimeSellers__m,3,s__Collection)

UXExperimentalTerms.kif 3763-3763 The number 3 argument of first time buyers is an instance of collection
s__domain(s__fleetDeadWeightTonnage__m,1,s__Collection)

Transportation.kif 950-950 The number 1 argument of fleet dead weight tonnage is an instance of collection
s__domain(s__fleetGrossRegisteredTonnage__m,1,s__Collection)

Transportation.kif 932-932 The number 1 argument of fleet gross registered tonnage is an instance of collection
s__domain(s__inventory__m,2,s__Collection)

Mid-level-ontology.kif 20561-20561 The number 2 argument of inventory is an instance of collection
s__domain(s__meceCollection__m,1,s__Collection)

UXExperimentalTerms.kif 4800-4800 The number 1 argument of mutually exclusive completely exhaustive is an instance of collection
s__domain(s__meceCollection__m,2,s__Collection)

UXExperimentalTerms.kif 4802-4802 The number 2 argument of mutually exclusive completely exhaustive is an instance of collection
s__domain(s__member__m,2,s__Collection)

Merge.kif 1302-1302 The number 2 argument of member is an instance of collection
s__domain(s__memberAtTime__m,2,s__Collection)

Mid-level-ontology.kif 20543-20543 The number 2 argument of member at time is an instance of collection
s__domain(s__memberCount__m,1,s__Collection)

Mid-level-ontology.kif 20470-20470 The number 1 argument of member count is an instance of collection
s__domain(s__memberType__m,1,s__Collection)

Mid-level-ontology.kif 20492-20492 The number 1 argument of member type is an instance of collection
s__domain(s__memberTypeCount__m,1,s__Collection)

Mid-level-ontology.kif 20506-20506 The number 1 argument of member type count is an instance of collection
s__domain(s__newRegisteredUsers__m,3,s__Collection)

UXExperimentalTerms.kif 3811-3811 The number 3 argument of new registered users is an instance of collection

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3406-3421
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3444-3464
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3093-3108
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3127-3144
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
( ! [V__COLL,V__SITE,V__AGENT,V__LISTING,V__TIME] :
   ((s__instance(V__COLL,s__Collection) &
       s__instance(V__SITE,s__WebSite) &
       s__instance(V__AGENT,s__Agent) &
       s__instance(V__LISTING,s__WebListing) &
       s__instance(V__TIME,s__TimePoint) &
       s__listingSeller(V__LISTING,V__AGENT)
     &
     (~ s__member(V__LISTING,V__COLL))
   &
   (! [V__ITEM] :
     ((s__instance(V__ITEM,s__WebListing) &
         s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE))
     &
     s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
&
(~ (V__ITEM = V__LISTING)))
=>
s__member(V__ITEM,V__COLL)))
&
(! [V__MEMBER] :
(s__member(V__MEMBER,V__COLL)
=>
(s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
&
s__instance(V__MEMBER,s__WebListing)))))
=>
(s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME)
= V__COLL))
)

UXExperimentalTerms.kif 1229-1256
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3203-3229
( ! [V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__SAMPLE_COLL,s__Collection) &
       s__instance(V__POP_COLL,s__Collection) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__CognitiveAgent) &
       s__agent(V__EXPERIMENT,V__AGENT)
     &
     s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
=>
(! [V__ATTRIBUTE] :
   ((s__instance(V__ATTRIBUTE,s__Attribute) &
       s__property(V__SAMPLE_COLL,V__ATTRIBUTE)
     &
     s__inScopeOfInterest(V__AGENT,V__ATTRIBUTE)
   &
   (~ (V__ATTRIBUTE = s__RepresentativeSample)))
   =>
   s__property(V__POP_COLL,V__ATTRIBUTE))))
)

UXExperimentalTerms.kif 627-643
( ! [V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT] :
   ((s__instance(V__SAMPLE_COLL,s__Collection) &
       s__instance(V__POP_COLL,s__Collection) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
   =>
   s__subCollection(V__SAMPLE_COLL,V__POP_COLL))
)

UXExperimentalTerms.kif 606-612
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3487-3507
( ! [V__VISITOR,V__COLL,V__EXPERIMENT,V__PROC] :
   ((s__instance(V__VISITOR,s__Human) &
       s__instance(V__COLL,s__Collection) &
       (! [V__EXPERIMENTING,V__EVENT] :
         ((s__instance(V__EXPERIMENTING,s__Experimenting) &
             s__instance(V__EVENT,s__Process) &
             s__member(V__EVENT,s__QualifyingEventsFn(V__EXPERIMENT))
         &
         s__capability(V__EVENT,s__experiencer__m,V__VISITOR))
     =>
     s__member(V__EVENT,V__COLL)))
&
(s__member(V__PROC,V__COLL)
=>
(s__instance(V__PROC,s__Process) &
(? [V__EXP] :
   (s__instance(V__EXP,s__Experimenting) &
     s__member(V__PROC,s__QualifyingEventsFn(V__EXP))
&
s__capability(V__PROC,s__experiencer__m,V__VISITOR))))))
=>
(s__QualifiedTreatmentsFn(V__VISITOR)
= V__COLL))
)

UXExperimentalTerms.kif 4439-4462
( ! [V__VISITOR,V__QPVIEWS] :
   ((s__instance(V__VISITOR,s__Human) &
       s__instance(V__QPVIEWS,s__Collection) &
       (! [V__PAGE,V__ACCESSING,V__EXPERIMENT] :
         ((s__instance(V__PAGE,s__WebPage) &
             s__instance(V__ACCESSING,s__AccessingWebPage) &
             s__instance(V__EXPERIMENT,s__Experimenting) &
             s__agent(V__ACCESSING,V__VISITOR)
           &
           s__patient(V__ACCESSING,V__PAGE)
         &
         s__treatedPage(V__PAGE,V__EXPERIMENT))
     =>
     s__member(V__ACCESSING,V__QPVIEWS))))
=>
(V__QPVIEWS = s__QPViewsFn(V__VISITOR)))
)

UXExperimentalTerms.kif 4373-4388
( ! [V__VISITS,V__HYPERLINK,V__PAGE] :
   ((s__instance(V__VISITS,s__Collection) &
       s__instance(V__HYPERLINK,s__HypertextLink) &
       (! [V__ACCESSING] :
         (s__member(V__ACCESSING,V__PAGE)
         &
         (s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__component(V__PAGE,V__HYPERLINK)))))
=>
(? [V__CLICKS] :
   (s__instance(V__CLICKS,s__Collection) &
     (! [V__CLICK] :
       ((s__instance(V__CLICK,s__RequestingHyperlink) &
           s__patient(V__CLICK,V__HYPERLINK))
       =>
       s__member(V__CLICK,V__CLICKS)))
&
(s__ClickThroughRateFn(V__VISITS,V__HYPERLINK)
= s__DivisionFn(s__CardinalityFn(V__CLICKS)
,s__CardinalityFn(V__VISITS))))))
)

UXExperimentalTerms.kif 3527-3550
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3864-3899
( ! [V__COLL1,V__COLL2,V__COLL3,V__COLL4,V__MEMBER] :
   ((s__meceCollection(V__COLL1,V__COLL2)
     &
     s__instance(V__COLL3,s__Collection) &
     s__instance(V__COLL4,s__Collection) &
     s__instance(V__MEMBER,s__SelfConnectedObject) &
     s__member(V__MEMBER,V__COLL1)
   &
   s__member(V__COLL3,V__COLL2)
&
s__member(V__COLL4,V__COLL2)
&
(~ (V__COLL3 = V__COLL4)))
=>
(~ (s__member(V__MEMBER,V__COLL3)
&
s__member(V__MEMBER,V__COLL4))))
)

UXExperimentalTerms.kif 4829-4843
( ! [V__CLCT,V__A,V__E] :
   ((s__memberType(V__CLCT,s__Room) &
       s__instance(V__A,s__AirConditioner) &
       s__instance(V__CLCT,s__Collection) &
       s__memberCount(V__CLCT,1)
     &
     s__instance(V__E,s__Cooling) &
     s__instrument(V__E,V__A)
   &
   s__patient(V__E,V__CLCT))
=>
(s__defaultMinimumHeight(V__A,s__MeasureFn(18,s__Inch))
&
s__defaultMaximumHeight(V__A,s__MeasureFn(28,s__Inch))
&
s__defaultMinimumWidth(V__A,s__MeasureFn(12,s__Inch))
&
s__defaultMaximumWidth(V__A,s__MeasureFn(21,s__Inch))
&
s__defaultMinimumLength(V__A,s__MeasureFn(21,s__Inch))
&
s__defaultMaximumLength(V__A,s__MeasureFn(36,s__Inch))
&
s__defaultMinimumMeasure(V__A,s__MeasureFn(75,s__PoundMass))
&
s__defaultMaximumMeasure(V__A,s__MeasureFn(250,s__PoundMass))))
)

DimensioningAmenities.kif 654-671
( ! [V__CLCT,V__A,V__C,V__E] :
   ((s__memberType(V__CLCT,s__Room) &
       s__instance(V__A,s__AirConditioner) &
       s__instance(V__CLCT,s__Collection) &
       s__memberCount(V__CLCT,V__C)
     &
     s__greaterThan(V__C,1)
   &
   s__instance(V__E,s__Cooling) &
   s__instrument(V__E,V__A)
&
s__patient(V__E,V__CLCT))
=>
(s__defaultMinimumHeight(V__A,s__MeasureFn(28,s__Inch))
&
s__defaultMaximumHeight(V__A,s__MeasureFn(60,s__Inch))
&
s__defaultMinimumWidth(V__A,s__MeasureFn(21,s__Inch))
&
s__defaultMaximumWidth(V__A,s__MeasureFn(60,s__Inch))
&
s__defaultMinimumLength(V__A,s__MeasureFn(36,s__Inch))
&
s__defaultMaximumLength(V__A,s__MeasureFn(60,s__Inch))
&
s__defaultMinimumMeasure(V__A,s__MeasureFn(75,s__PoundMass))
&
s__defaultMaximumMeasure(V__A,s__MeasureFn(500,s__PoundMass))))
)

DimensioningAmenities.kif 675-693
( ! [V__CLCT,V__H,V__E] :
   ((s__memberType(V__CLCT,s__Room) &
       s__instance(V__H,s__RoomHeater) &
       s__instance(V__CLCT,s__Collection) &
       s__memberCount(V__CLCT,1)
     &
     s__instance(V__E,s__Heating) &
     s__instrument(V__E,V__H)
   &
   s__patient(V__E,V__CLCT))
=>
(s__defaultMinimumHeight(V__H,s__MeasureFn(5,s__Inch))
&
s__defaultMaximumHeight(V__H,s__MeasureFn(16,s__Inch))
&
s__defaultMinimumWidth(V__H,s__MeasureFn(5,s__Inch))
&
s__defaultMaximumWidth(V__H,s__MeasureFn(7,s__Inch))
&
s__defaultMinimumLength(V__H,s__MeasureFn(18,s__Inch))
&
s__defaultMaximumLength(V__H,s__MeasureFn(26,s__Inch))
&
s__defaultMinimumMeasure(V__H,s__MeasureFn(11,s__PoundMass))
&
s__defaultMaximumMeasure(V__H,s__MeasureFn(30,s__PoundMass))))
)

DimensioningAmenities.kif 611-628
( ! [V__CLCT,V__H,V__C,V__E] :
   ((s__memberType(V__CLCT,s__Room) &
       s__instance(V__H,s__RoomHeater) &
       s__instance(V__CLCT,s__Collection) &
       s__memberCount(V__CLCT,V__C)
     &
     s__greaterThan(V__C,1)
   &
   s__instance(V__E,s__Heating) &
   s__instrument(V__E,V__H)
&
s__patient(V__E,V__CLCT))
=>
(s__defaultMinimumHeight(V__H,s__MeasureFn(16,s__Inch))
&
s__defaultMaximumHeight(V__H,s__MeasureFn(40,s__Inch))
&
s__defaultMinimumWidth(V__H,s__MeasureFn(10,s__Inch))
&
s__defaultMaximumWidth(V__H,s__MeasureFn(26,s__Inch))
&
s__defaultMinimumLength(V__H,s__MeasureFn(26,s__Inch))
&
s__defaultMaximumLength(V__H,s__MeasureFn(45,s__Inch))
&
s__defaultMinimumMeasure(V__H,s__MeasureFn(30,s__PoundMass))
&
s__defaultMaximumMeasure(V__H,s__MeasureFn(200,s__PoundMass))))
)

DimensioningAmenities.kif 632-650
( ! [V__COLL] :
   (s__instance(V__COLL,s__Collection) =>
     (? [V__OBJ] :
       s__member(V__OBJ,V__COLL)))
)

Merge.kif 1293-1296

consequent
-------------------------


( ! [V__AGENT,V__SITE] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__SITE,s__WebSite))
     =>
     (? [V__COLL] :
       (s__instance(V__COLL,s__Collection) &
         (! [V__LISTING] :
           ((s__instance(V__LISTING,s__WebListing) &
               s__hostedOn(V__LISTING,V__SITE)
             &
             s__listingSeller(V__LISTING,V__AGENT))
         =>
         s__member(V__LISTING,V__COLL)))
   &
   (s__SellersItemsFn(V__AGENT,V__SITE)
   = V__COLL))))
)

UXExperimentalTerms.kif 1188-1204
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
( ! [V__C,V__Sub,V__S,V__X,V__MBR] :
   ((s__instance(V__C,s__Crystal) &
       s__attribute(V__C,s__MonoCrystalline) &
       s__instance(V__Sub,s__Substance) &
       s__attribute(V__Sub,s__Solid) &
       s__attribute(V__Sub,s__PolyCrystalline) &
       s__instance(V__S,s__Substance) &
       s__surface(V__S,V__Sub)
     &
     (~ s__part(V__C,V__S)))
=>
(? [V__CLNT] :
   (s__instance(V__CLNT,s__Collection) &
     s__memberCount(V__CLNT,V__X)
   &
   s__greaterThanOrEqualTo(V__X,4)
&
(s__member(V__MBR,V__CLNT)
=>
(s__part(V__MBR,V__Sub)
&
s__meetsSpatially(V__C,V__MBR))))))
)

Geography.kif 6495-6515
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3650
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3670-3703
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__VARIABLE,s__Process) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__Agent) &
       s__experiencer(V__AGENT,s__Agent) &
       s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
   =>
   (? [V__CONTROL_GROUP] :
     (s__instance(V__CONTROL_GROUP,s__Collection) &
       s__member(V__AGENT,V__CONTROL_GROUP)
     &
     s__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT))))
)

UXExperimentalTerms.kif 4046-4057
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__VARIABLE,s__Process) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__Agent) &
       s__experiencer(V__AGENT,s__Agent) &
       s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
   =>
   (? [V__TREATMENT_GROUP] :
     (s__instance(V__TREATMENT_GROUP,s__Collection) &
       s__member(V__AGENT,V__TREATMENT_GROUP)
     &
     s__treatmentGroup(V__TREATMENT_GROUP,V__EXPERIMENT))))
)

UXExperimentalTerms.kif 4163-4174
( ! [V__VISITS,V__HYPERLINK,V__PAGE] :
   ((s__instance(V__VISITS,s__Collection) &
       s__instance(V__HYPERLINK,s__HypertextLink) &
       (! [V__ACCESSING] :
         (s__member(V__ACCESSING,V__PAGE)
         &
         (s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__component(V__PAGE,V__HYPERLINK)))))
=>
(? [V__CLICKS] :
   (s__instance(V__CLICKS,s__Collection) &
     (! [V__CLICK] :
       ((s__instance(V__CLICK,s__RequestingHyperlink) &
           s__patient(V__CLICK,V__HYPERLINK))
       =>
       s__member(V__CLICK,V__CLICKS)))
&
(s__ClickThroughRateFn(V__VISITS,V__HYPERLINK)
= s__DivisionFn(s__CardinalityFn(V__CLICKS)
,s__CardinalityFn(V__VISITS))))))
)

UXExperimentalTerms.kif 3527-3550
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1811-1827
( ! [V__COLL1,V__COLL2,V__MEMBER] :
   ((s__meceCollection(V__COLL1,V__COLL2)
     &
     s__member(V__MEMBER,V__COLL1)
   &
   s__instance(V__MEMBER,s__SelfConnectedObject))
=>
(? [V__COLL3] :
   (s__instance(V__COLL3,s__Collection) &
     s__member(V__MEMBER,V__COLL3)
   &
   s__member(V__COLL3,V__COLL2))))
)

UXExperimentalTerms.kif 4818-4827
( ! [V__COLL1,V__COLL2,V__MEMBER] :
   ((s__meceCollection(V__COLL1,V__COLL2)
     &
     s__member(V__MEMBER,V__COLL2)
   &
   s__instance(V__MEMBER,s__SelfConnectedObject))
=>
s__instance(V__MEMBER,s__Collection))
)

UXExperimentalTerms.kif 4811-4816
( ! [V__COLLECTION] :
   (s__attribute(V__COLLECTION,s__LineFormation) =>
     s__instance(V__COLLECTION,s__Collection))
   )

Mid-level-ontology.kif 17151-17153
No TPTP formula. May not be expressible in strict first order. naics.kif 7782-7791
( ! [V__WC,V__N] :
   (s__coilCount(V__WC,V__N)
   =>
   (? [V__C] :
     (s__instance(V__C,s__Collection) &
       s__memberCount(V__C,V__N)
     &
     (! [V__M] :
       (s__member(V__M,V__C)
       =>
       (s__attribute(V__M,s__ClosedTwoDimensionalFigure) &
         s__part(V__M,V__WC)
       &
       (~ (? [V__M2] :
           (s__overlapsSpatially(V__M2,V__M)
           &
           s__member(V__M2,V__C))))))))))
)

Cars.kif 3088-3104
( ! [V__E,V__N,V__EC] :
   (s__engineCylinders(V__E,V__N)
   =>
   (? [V__G] :
     (s__instance(V__G,s__Collection) &
       s__memberTypeCount(V__G,s__EngineCylinder,V__N)
     &
     s__member(V__EC,V__G)
   &
   s__part(V__EC,V__E))))
)

Cars.kif 4502-4509
( ! [V__STRING,V__PRODUCTTYPE,V__LANGUAGE] :
   (s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
   =>
   s__subclass(V__PRODUCTTYPE,s__Collection))
)

Media.kif 3118-3120
( ! [V__ADAPT] :
   (s__instance(V__ADAPT,s__OutletAdapter) =>
     (? [V__HOLE] :
       (s__instance(V__HOLE,s__Collection) &
         s__memberType(V__HOLE,s__Hole) &
         s__part(V__HOLE,V__ADAPT)
       &
       s__material(s__Metal,V__ADAPT))))
)

Mid-level-ontology.kif 23874-23881
No TPTP formula. May not be expressible in strict first order. Sports.kif 975-988
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1909-1920
( ! [V__BF] :
   (s__instance(V__BF,s__BowlingFacility) =>
     (? [V__BL] :
       (s__instance(V__BL,s__Collection) &
         s__memberType(V__BL,s__BowlingLane) &
         s__located(V__BL,V__BF))))
)

Sports.kif 1012-1018
( ! [V__BSC,V__BS] :
   (s__instance(V__BSC,s__BookStoreChain) =>
     (s__instance(V__BSC,s__Collection) &
       s__member(V__BS,V__BSC)
     &
     s__instance(V__BS,s__BookStore)))
)

Society.kif 482-487
No TPTP formula. May not be expressible in strict first order. Weather.kif 1214-1227
( ! [V__DROP] :
   (s__instance(V__DROP,s__Raindrop) =>
     (? [V__RAIN] :
       (s__instance(V__RAIN,s__Rain) &
         s__instance(V__RAIN,s__Collection) &
         s__member(V__DROP,V__RAIN))))
)

Weather.kif 1426-1432
( ! [V__DSC,V__DS] :
   (s__instance(V__DSC,s__DrugStoreChain) =>
     (s__instance(V__DSC,s__Collection) &
       s__member(V__DS,V__DSC)
     &
     s__instance(V__DS,s__DrugStore)))
)

Society.kif 465-470

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25