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, GAAP, Great_Attractor, Indian_file, 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, carpenter's_kit, cascade, catena...

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


s__disjoint(s__Collection,s__SelfConnectedObject)

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

chinese_format.kif 1630-1632
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, repeated actions, football teams, and flocks of sheep."')

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

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

pictureList.kif 10687-10687
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg"')

pictureList.kif 10683-10683
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg"')

pictureList.kif 10694-10694
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg"')

pictureList.kif 10682-10682
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg"')

pictureList.kif 10693-10693
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg"')

pictureList.kif 9965-9965
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg"')

pictureList.kif 10686-10686
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg"')

pictureList.kif 10692-10692
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg"')

pictureList.kif 10689-10689
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg"')

pictureList.kif 10679-10679
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg"')

pictureList.kif 10691-10691
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg"')

pictureList.kif 10681-10681
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg"')

pictureList.kif 10680-10680
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg"')

pictureList.kif 10690-10690
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG"')

pictureList.kif 10695-10695
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg"')

pictureList.kif 10685-10685
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg"')

pictureList.kif 10684-10684
s__instance(s__Object,s__SetOrClass)

s__subclass(s__Collection,s__Object)

s__instance(s__Collection,s__SetOrClass)

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

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


s__instance(s__UnitedStatesMinorOutlyingIslands,s__Collection)

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 4375-4375 The range of qualifed page views is an instance of collection
s__range(s__QualifiedTreatmentsFn__m,s__Collection)

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

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

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

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

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

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

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

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

UXExperimentalTerms.kif 4480-4480 The range of TreatedUsersFn is an instance of collection
s__instance(s__Archipelago,s__SetOrClass)

s__subclass(s__Archipelago,s__Collection)

s__instance(s__Collection,s__SetOrClass)

Geography.kif 5624-5624 Archipelago is a subclass of collection
s__instance(s__Buffet,s__SetOrClass)

s__subclass(s__Buffet,s__Collection)

s__instance(s__Collection,s__SetOrClass)

Dining.kif 251-251 Buffet is a subclass of collection
s__instance(s__ClothingSuit,s__SetOrClass)

s__subclass(s__ClothingSuit,s__Collection)

s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 4998-4998 Clothing suit is a subclass of collection
s__subclass(s__CommunicationSystem,s__Collection)

s__instance(s__CommunicationSystem,s__SetOrClass)

s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 6983-6983 Communication system is a subclass of collection
s__subclass(s__ComputerSystem,s__Collection)

s__instance(s__ComputerSystem,s__SetOrClass)

s__instance(s__Collection,s__SetOrClass)

ComputingBrands.kif 3291-3291 Computer system is a subclass of collection
s__instance(s__Convoy,s__SetOrClass)

s__subclass(s__Convoy,s__Collection)

s__instance(s__Collection,s__SetOrClass)

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

s__instance(s__Collection,s__SetOrClass)

s__subclass(s__Discography,s__Collection)

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

s__subclass(s__FireSprinklerSystem,s__Collection)

s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 23581-23581 Sprinkler system is a subclass of collection
s__subclass(s__Fleet,s__Collection)

s__instance(s__Fleet,s__SetOrClass)

s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 3445-3445 Fleet is a subclass of collection
s__instance(s__GolgiApparatus,s__SetOrClass)

s__subclass(s__GolgiApparatus,s__Collection)

s__instance(s__Collection,s__SetOrClass)

VirusProteinAndCellPart.kif 475-475 Golgi apparatus is a subclass of collection
s__instance(s__Group,s__SetOrClass)

s__subclass(s__Group,s__Collection)

s__instance(s__Collection,s__SetOrClass)

Merge.kif 15447-15447 Group is a subclass of collection
s__subclass(s__HotelMiniBar,s__Collection)

s__instance(s__HotelMiniBar,s__SetOrClass)

s__instance(s__Collection,s__SetOrClass)

Hotel.kif 1680-1680 Mini bar is a subclass of collection
s__subclass(s__Industry,s__Collection)

s__instance(s__Industry,s__SetOrClass)

s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 13348-13348 Industry is a subclass of collection
s__subclass(s__InlandWaterSystem,s__Collection)

s__instance(s__InlandWaterSystem,s__SetOrClass)

s__instance(s__Collection,s__SetOrClass)

Geography.kif 5126-5126 Inland water system 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,n__1,s__Collection)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

UXExperimentalTerms.kif 3823-3823 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 3409-3424
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3447-3467
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3096-3111
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
( ! [V__AGENT,V__TIME,V__SITE,V__LISTING,V__COLL] :
   (((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, V__MEMBER] :
       ((((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)))
&
(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 1230-1257
( ! [V__G,V__LGP,V__M,V__N] :
   (((s__instance(V__M,s__Physical) &
         s__instance(V__N,s__Integer))
       =>
       (((s__instance(V__LGP,s__LargeGroupProcess) &
             s__instance(V__G,s__Collection) &
             s__member(V__M,V__G)
           &
           s__involvedInEvent(V__LGP,V__M)
         &
         s__memberCount(V__G,V__N))
     =>
     (s__greaterThan(V__N,n__10)))))
)
)

Mid-level-ontology.kif 7297-7304
( ! [V__G,V__LGP,V__M] :
   ((s__instance(V__M,s__Physical) =>
       (((s__instance(V__LGP,s__LargeGroupProcess) &
             s__instance(V__G,s__Collection) &
             s__member(V__M,V__G)
           &
           s__involvedInEvent(V__LGP,V__M))
       =>
       (( ? [V__P, V__PC] :
           ((s__instance(V__P,s__Class) &
               s__instance(V__PC,s__Process) &
               (s__instance(V__PC,V__P)
               &
               s__involvedInEvent(V__PC,V__M)))))))))
)
)

Mid-level-ontology.kif 7306-7315
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-3232
( ! [V__AGENT,V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] :
   (((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 629-645
( ! [V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] :
   (((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 608-614
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3490-3510
( ! [V__EXPERIMENT,V__PROC,V__VISITOR,V__COLL] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__subclass(V__PROC,s__Process))
       =>
       (((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 4448-4471
( ! [V__QPVIEWS,V__VISITOR] :
   (((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 4382-4397
( ! [V__PAGE,V__VISITS,V__HYPERLINK] :
   (((s__instance(V__PAGE,s__Collection) &
         s__instance(V__PAGE,s__CorpuscularObject))
       =>
       (((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 3541-3564
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911
( ! [V__COLL1,V__COLL2,V__MEMBER,V__COLL3,V__COLL4] :
   (((s__instance(V__COLL1,s__Collection) &
         s__instance(V__COLL2,s__Collection))
       =>
       (((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 4839-4853
( ! [V__COLL] :
   ((s__instance(V__COLL,s__Collection) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__Physical) &
               s__member(V__OBJ,V__COLL))))))
   )
)

Merge.kif 1168-1171

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 1189-1205
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
( ! [V__MBR,V__C,V__S,V__X,V__Sub] :
   (((s__instance(V__MBR,s__Object) &
         s__instance(V__X,s__Integer))
       =>
       (((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,n__4)
           &
           (s__member(V__MBR,V__CLNT)
           =>
           ((s__part(V__MBR,V__Sub)
             &
             s__meetsSpatially(V__C,V__MBR)))))))))))
)
)

Geography.kif 6672-6692
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((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 4058-4069
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((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 4175-4186
( ! [V__PAGE,V__VISITS,V__HYPERLINK] :
   (((s__instance(V__PAGE,s__Collection) &
         s__instance(V__PAGE,s__CorpuscularObject))
       =>
       (((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 3541-3564
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1812-1828
( ! [V__COLL1,V__COLL2,V__MEMBER] :
   (((s__instance(V__COLL1,s__Collection) &
         s__instance(V__COLL2,s__Collection))
       =>
       (((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 4828-4837
( ! [V__COLL1,V__COLL2,V__MEMBER] :
   (((s__instance(V__COLL1,s__Collection) &
         s__instance(V__COLL2,s__Collection))
       =>
       (((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 4821-4826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29093-29108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29037-29047
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__SetOrClass) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__Integer))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__B,s__Buying) &
                   s__during(s__WhenFn(V__B)
                ,V__T)
               &
               s__objectTransferred(V__B,V__G)
             &
             s__transactionAmount(V__B,V__C)
           &
           s__agent(V__B,V__A)
         &
         s__instance(V__G,s__Collection) &
         s__memberType(V__G,V__O)
       &
       s__memberCount(V__G,V__N)
     &
     s__possesses(V__A,V__G)))))))))
)
)

Mid-level-ontology.kif 29060-29075
( ! [V__COLLECTION] :
   ((s__instance(V__COLLECTION,s__Object) =>
       ((s__attribute(V__COLLECTION,s__LineFormation) =>
           (s__instance(V__COLLECTION,s__Collection)))))
     )
   )

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

Cars.kif 3131-3147
( ! [V__E,V__EC,V__N] :
   (((s__instance(V__E,s__Engine) &
         s__instance(V__EC,s__Object) &
         s__instance(V__N,s__NonnegativeInteger))
       =>
       ((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 4554-4561
( ! [V__STRING,V__LANGUAGE,V__PRODUCTTYPE] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__LANGUAGE,s__Language) &
         s__instance(V__PRODUCTTYPE,s__Class))
       =>
       ((s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
         =>
         (s__subclass(V__PRODUCTTYPE,s__Collection)))))
   )
)

Media.kif 3173-3175
( ! [V__T,V__H,V__I,V__M] :
   (((s__instance(V__T,s__TimeInterval) &
         s__instance(V__H,s__Heart) &
         s__instance(V__I,s__Integer) &
         s__instance(V__M,s__Process))
       =>
       ((s__heartRate(V__H,V__T,V__I)
         =>
         (( ? [V__C] :
             ((s__instance(V__C,s__Collection) &
                 s__memberType(V__C,s__HeartBeat) &
                 s__memberCount(V__C,V__I)
               &
               (s__member(V__M,V__C)
               =>
               ((s__patient(V__M,V__H)
                 &
                 s__during(s__WhenFn(V__M)
              ,V__T)))))))))))
)
)

Mid-level-ontology.kif 9201-9213
( ! [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 24097-24104
No TPTP formula. May not be expressible in strict first order. Sports.kif 979-992
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1980-1991
( ! [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 1016-1022

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25