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 1156-1156 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, football teams, and flocks of sheep."')

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

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

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

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

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

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

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

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

pictureList.kif 10687-10687
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
s__externalImage(s__Collection,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg"')

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

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

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

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

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

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

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

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

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

s__subclass(s__Collection,s__Object)

s__instance(s__Collection,s__SetOrClass)

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

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

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

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

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

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

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

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

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

UXExperimentalTerms.kif 4477-4477 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 5518-5518 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 5577-5577 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 7327-7327 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 3305-3305 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 20164-20164 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 23377-23377 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 4045-4045 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 472-472 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 15026-15026 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 1666-1666 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 12711-12711 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 5020-5020 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 3430-3430 The number 1 argument of average buying price is an instance of collection
s__domain(s__ASPFn__m,n__1,s__Collection)

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

UXExperimentalTerms.kif 3395-3395 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 3115-3115 The number 1 argument of bid count is an instance of collection
s__domain(s__BoughtItemsFn__m,n__1,s__Collection)

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

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

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

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

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

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

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

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

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

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

Transportation.kif 992-992 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 974-974 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 20605-20605 The number 2 argument of inventory is an instance of collection
s__domain(s__meceCollection__m,n__1,s__Collection)

UXExperimentalTerms.kif 4807-4807 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 4809-4809 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 1173-1173 The number 2 argument of member is an instance of collection
s__domain(s__memberAtTime__m,n__2,s__Collection)

Mid-level-ontology.kif 20587-20587 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 20514-20514 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 20536-20536 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 20550-20550 The number 1 argument of member type count is an instance of collection
s__domain(s__newRegisteredUsers__m,n__3,s__Collection)

UXExperimentalTerms.kif 3818-3818 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 3404-3419
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3442-3462
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3091-3106
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3125-3142
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3050-3074
( ! [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] :
     ((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 1226-1253
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3158-3184
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3201-3227
( ! [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 625-641
( ! [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 604-610
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3485-3505
( ! [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 4445-4468
( ! [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 4379-4394
( ! [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 3536-3559
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3871-3906
( ! [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 4836-4850
( ! [V__COLL] :
   (s__instance(V__COLL,s__Collection) =>
     ( ? [V__OBJ] :
       ((s__instance(V__OBJ,s__Object) &
           s__member(V__OBJ,V__COLL))))
   )
)

Merge.kif 1164-1167

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 1185-1201
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1520-1536
( ! [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 6480-6500
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3631-3658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
( ! [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 4053-4064
( ! [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 4170-4181
( ! [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 3536-3559
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1809-1825
( ! [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 4825-4834
( ! [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 4818-4823
( ! [V__COLLECTION] :
   (s__instance(V__COLLECTION,s__Object) =>
     s__attribute(V__COLLECTION,s__LineFormation) =>
     s__instance(V__COLLECTION,s__Collection) )
   )

Mid-level-ontology.kif 17211-17213
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 3092-3108
( ! [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 4511-4518
( ! [V__STRING,V__LANGUAGE,V__PRODUCTTYPE] :
   ((s__instance(V__STRING,s__SymbolicString) &
       s__instance(V__LANGUAGE,s__Language) &
       s__instance(V__PRODUCTTYPE,s__SetOrClass))
     =>
     s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
   =>
   s__subclass(V__PRODUCTTYPE,s__Collection) )
)

Media.kif 3171-3173
( ! [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 23967-23974
No TPTP formula. May not be expressible in strict first order. Sports.kif 977-990
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1962-1973
( ! [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 1014-1020
No TPTP formula. May not be expressible in strict first order. Weather.kif 1311-1323
( ! [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 1522-1528
( ! [V__EXPERIMENT] :
   (s__instance(V__EXPERIMENT,s__Experimenting) =>
     ( ? [V__QUALIFYING_EVENTS] :
       ((s__instance(V__QUALIFYING_EVENTS,s__Collection) &
           ( ! [V__EVENT] :
             ((s__instance(V__EVENT,s__Process) &
                 (s__experimentalControlProcess(V__EXPERIMENT,V__EVENT)
                 |
                 s__experimentalVariableProcess(V__EXPERIMENT,V__EVENT)))
           =>
           s__member(V__EVENT,V__QUALIFYING_EVENTS)))
     &
     (s__QualifyingEventsFn(V__EXPERIMENT)
     = V__QUALIFYING_EVENTS))))
)
)

UXExperimentalTerms.kif 4412-4427
( ! [V__EXPERIMENT] :
   (s__instance(V__EXPERIMENT,s__Experimenting) =>
     ( ? [V__TREATED_USERS] :
       ((s__instance(V__TREATED_USERS,s__Collection) &
           ( ! [V__USER] :
             ((s__instance(V__USER,s__Human) &
                 s__treatedUser(V__USER,V__EXPERIMENT))
             =>
             s__member(V__USER,V__TREATED_USERS)))
       &
       (s__TreatedUsersFn(V__EXPERIMENT)
       = V__TREATED_USERS))))
)
)

UXExperimentalTerms.kif 4482-4494

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25