consequent

(=>     (and         (instance ?AGENT AutonomousAgent)         (instance ?SITE WebSite))     (exists (?COLL)         (and             (instance ?COLL Collection)             (forall (?LISTING)                 (=>                     (and                         (instance ?LISTING WebListing)                         (hostedOn ?LISTING ?SITE)                         (listingSeller ?LISTING ?AGENT))                     (member ?LISTING ?COLL)))             (equal                 (SellersItemsFn ?AGENT ?SITE) ?COLL))))	UXExperimentalTerms.kif 992-1008	If an agent is an instance of agent and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all a WebListing if the WebListing is an instance of WebListing and hostedOn the WebListing and the WebSite and listingSeller the WebListing and the agent, then the WebListing is a member of the collection and equal SellersItemsFn the agent and the WebSite and the collection
(=>     (and         (instance ?ATC AddToCart)         (instance ?OBJ Object)         (patient ?ATC ?OBJ)         (agent ?ATC ?USER))     (exists (?COLL ?SITE ?AFTER ?INTERVAL)         (and             (instance ?COLL Collection)             (instance ?SITE WebSite)             (instance ?INTERVAL TimeInterval)             (webcart ?USER ?COLL ?SITE)             (equal                 (BeginFn ?INTERVAL)                 (EndFn ?ATC))             (holdsDuring ?AFTER                 (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1326-1342	If a time interval is an instance of AddToCart and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite,, , a time position and another time interval such that the collection is an instance of collection and the WebSite is an instance of WebSite and the other time interval is an instance of time interval and webcart the agent, the collection and the WebSite and equal the beginning of the other time interval and the end of the time interval and the entity is a member of the collection holds during the time position
(=>     (and         (instance ?C Crystal)         (attribute ?C MonoCrystalline)         (instance ?SUB Substance)         (attribute ?SUB Solid)         (attribute ?SUB PolyCrystalline)         (instance ?S Substance)         (surface ?S ?SUB)         (not             (part ?C ?S)))     (exists (?CLNT ?X ?MBR)         (and             (instance ?CLNT Collection)             (memberCount ?CLNT ?X)             (greaterThanOrEqualTo ?X 4)             (=>                 (member ?MBR ?CLNT)                 (and                     (part ?MBR ?SUB)                     (meetsSpatially ?C ?MBR))))))	Geography.kif 8791-8811	If an object is an instance of Crystal and MonoCrystalline is an attribute of the object and a self connected object is an instance of substance and Solid is an attribute of the self connected object and PolyCrystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object, then there exist the objectLNT, an integer and another object such that the objectLNT is an instance of collection and memberCount the objectLNT and the integer and the integer is greater than or equal to 4 and if the other object is a member of the objectLNT, then the other object is a part of the self connected object and the object meets the other object
(=>     (and         (instance ?G Gear)         (part ?T ?G)         (instance ?T GearTooth)         (gearToothCount ?G ?I))     (exists (?C)         (and             (instance ?C Collection)             (member ?T ?C)             (memberCount ?C ?I))))	engineering.kif 839-849	If a Gear is an instance of Gear and an object is a part of the Gear and the object is an instance of GearTooth and gearToothCount the Gear and an integer, then there exists a collection such that the collection is an instance of collection and the object is a member of the collection and memberCount the collection and the integer
(=>     (and         (instance ?G Grinding)         (patient ?G ?O)         (instance ?O CorpuscularObject))     (holdsDuring         (EndFn             (WhenFn ?G))         (exists (?C)             (and                 (result ?G ?C)                 (instance ?C Collection)                 (forall (?M)                     (=>                         (member ?M ?C)                         (part ?M ?O)))))))	Food.kif 1013-1027	If a process is an instance of Grinding and an entity is a patient of the process and the entity is an instance of corpuscular object, then there exists another entity such that the other entity is a result of the process and the other entity is an instance of collection and for all a third entity if the third entity is a member of the other entity, then the third entity is a part of the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?GUN RevolverGun)         (part ?CY ?GUN)         (instance ?CY GunCylinder))     (modalAttribute         (exists (?COLL)             (and                 (part ?COLL ?CY)                 (instance ?COLL Collection)                 (memberType ?COLL GunChamber)                 (memberCount ?COLL 6))) Likely))	Mid-level-ontology.kif 2061-2072	If an object is an instance of RevolverGun and another object is a part of the object and the other object is an instance of GunCylinder, then the statement there exists an entity such that the entity is a part of the other object and the entity is an instance of collection and memberType the entity and GunChamber and memberCount the entity and 6 has the modal force of Likely
(=>     (and         (instance ?INTERVAL TimeInterval)         (instance ?SITE WebSite))     (exists (?NEWBUYERS)         (and             (instance ?NEWBUYERS Collection)             (forall (?AGENT)                 (=>                     (member ?AGENT ?NEWBUYERS)                     (and                         (exists (?BUYING)                             (and                                 (instance ?AGENT AutonomousAgent)                                 (instance ?BUYING Buying)                                 (agent ?BUYING ?AGENT)                                 (instrument ?BUYING ?SITE)                                 (during ?BUYING ?INTERVAL)))                         (not                             (exists (?INTERVAL_BEFORE)                                 (and                                     (instance ?INTERVAL_BEFORE TimeInterval)                                     (earlier ?INTERVAL_BEFORE ?INTERVAL)                                     (holdsDuring ?INTERVAL_BEFORE                                         (exists (?BUYING_BEFORE)                                             (and                                                 (instance ?BUYING_BEFORE Buying)                                                 (agent ?BUYING_BEFORE ?AGENT)                                                 (instrument ?BUYING_BEFORE ?SITE)                                                 (during ?BUYING_BEFORE ?INTERVAL))))))))))             (equal                 (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))	UXExperimentalTerms.kif 3375-3407	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and equal SiteWideNewBuyersFn the time interval and the WebSite and the collection
(=>     (and         (instance ?INTERVAL TimeInterval)         (instance ?SITE WebSite))     (exists (?NEWREGISTRATIONS)         (and             (instance ?NEWREGISTRATIONS Collection)             (forall (?USER)                 (=>                     (and                         (instance ?USER Human)                         (not                             (exists (?INTERVAL_BEFORE)                                 (and                                     (instance ?INTERVAL_BEFORE TimeInterval)                                     (earlier ?INTERVAL_BEFORE ?INTERVAL)                                     (holdsDuring ?INTERVAL_BEFORE                                         (registeredUser ?USER ?SITE)))))                         (exists (?INTERVAL_DURING)                             (and                                 (instance ?INTERVAL_DURING TimeInterval)                                 (during ?INTERVAL_DURING ?INTERVAL)                                 (holdsDuring ?INTERVAL                                     (registeredUser ?USER ?SITE)))))                     (member ?USER ?NEWREGISTRATIONS)))             (equal ?NEWREGISTRATIONS                 (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))	UXExperimentalTerms.kif 3427-3454	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all a physical if the physical is an instance of human and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and registeredUser the physical and the WebSite holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and registeredUser the physical and the WebSite holds during the time interval, then the physical is a member of the collection and equal the collection and SiteWideNewRegistrationsFn the time interval and the WebSite
(=>     (and         (instance ?INTERVAL TimeInterval)         (instance ?SITE WebSite))     (exists (?NEWSELLERS)         (and             (instance ?NEWSELLERS Collection)             (forall (?AGENT)                 (=>                     (member ?AGENT ?NEWSELLERS)                     (and                         (exists (?SELLING)                             (and                                 (instance ?AGENT AutonomousAgent)                                 (instance ?SELLING Selling)                                 (agent ?SELLING ?AGENT)                                 (instrument ?SELLING ?SITE)                                 (during ?SELLING ?INTERVAL)))                         (not                             (exists (?INTERVAL_BEFORE)                                 (and                                     (instance ?INTERVAL_BEFORE TimeInterval)                                     (earlier ?INTERVAL_BEFORE ?INTERVAL)                                     (holdsDuring ?INTERVAL_BEFORE                                         (exists (?SELLING_BEFORE)                                             (and                                                 (instance ?SELLING_BEFORE Selling)                                                 (agent ?SELLING_BEFORE ?AGENT)                                                 (instrument ?SELLING_BEFORE ?SITE)                                                 (during ?SELLING_BEFORE ?INTERVAL))))))))))             (equal                 (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))	UXExperimentalTerms.kif 3474-3506	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of selling and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of selling and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and equal SiteWideNewSellersFn the time interval and the WebSite and the collection
(=>     (and         (instance ?R Rotating)         (patient ?R ?TRACK)         (instance ?TRACK ContinuousTrack))     (exists (?COLL ?MEM ?I ?TREAD ?R2)         (and             (instance ?COLL Collection)             (member ?MEM ?COLL)             (instance ?MEM Wheel)             (memberCount ?MEM ?I)             (greaterThan ?I 2)             (part ?COLL ?TRACK)             (part ?TREAD ?TRACK)             (instance ?TREAD CorpuscularObject)             (shape ?TREAD LongAndThin)             (attribute ?TREAD Pliable)             (located ?COLL ?TREAD)             (instance ?R2 Rotating)             (causes ?R2 ?R))))	Military.kif 193-212	If a process is an instance of Rotating and an object is a patient of the process and the object is an instance of ContinuousTrack, then there exist a collection, another collection,, , an integer,, , another object and the process2 such that the collection is an instance of collection and the other collection is a member of the collection and the other collection is an instance of Wheel and memberCount the other collection and the integer and the integer is greater than 2 and the collection is a part of the object and the other object is a part of the object and the other object is an instance of corpuscular object and shape the other object and LongAndThin and Pliable is an attribute of the other object and the collection is located at the other object and the process2 is an instance of Rotating and the process2 causes the process
(=>     (and         (instance ?VARIABLE Process)         (instance ?EXPERIMENT Experimenting)         (instance ?AGENT AutonomousAgent)         (experiencer ?AGENT AutonomousAgent)         (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))     (exists (?CONTROL_GROUP)         (and             (instance ?CONTROL_GROUP Collection)             (member ?AGENT ?CONTROL_GROUP)             (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 3850-3861	If a process is an instance of process and an Experimenting is an instance of Experimenting and another process is an instance of agent and agent experiences the other process and experimentalVariableProcess the Experimenting and the process, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and controlGroup the entity_GROUP and the Experimenting
(=>     (and         (instance ?VARIABLE Process)         (instance ?EXPERIMENT Experimenting)         (instance ?AGENT AutonomousAgent)         (experiencer ?AGENT AutonomousAgent)         (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))     (exists (?TREATMENT_GROUP)         (and             (instance ?TREATMENT_GROUP Collection)             (member ?AGENT ?TREATMENT_GROUP)             (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 3967-3978	If a process is an instance of process and an Experimenting is an instance of Experimenting and another process is an instance of agent and agent experiences the other process and experimentalVariableProcess the Experimenting and the process, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and treatmentGroup the entity_GROUP and the Experimenting
(=>     (and         (instance ?VISITS Collection)         (instance ?HYPERLINK HypertextLink)         (forall (?ACCESSING)             (and                 (member ?ACCESSING ?PAGE)                 (and                     (instance ?ACCESSING AccessingWebPage)                     (component ?PAGE ?HYPERLINK)))))     (exists (?CLICKS)         (and             (instance ?CLICKS Collection)             (forall (?CLICK)                 (=>                     (and                         (instance ?CLICK RequestingHyperlink)                         (patient ?CLICK ?HYPERLINK))                     (member ?CLICK ?CLICKS)))             (equal                 (ClickThroughRateFn ?VISITS ?HYPERLINK)                 (DivisionFn                     (CardinalityFn ?CLICKS)                     (CardinalityFn ?VISITS))))))	UXExperimentalTerms.kif 3332-3355	If a collection is an instance of collection and a corpuscular object is an instance of HypertextLink and for all a physical the physical is a member of another collection and the physical is an instance of AccessingWebPage and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of RequestingHyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and equal ClickThroughRateFn the collection and the corpuscular object and the number of instances in the third collection and the number of instances in the collection
(=>     (and         (instance ?WATCH WatchItem)         (instance ?OBJ Object)         (patient ?WATCH ?OBJ)         (agent ?WATCH ?USER))     (exists (?COLL ?SITE ?AFTER ?INTERVAL)         (and             (instance ?COLL Collection)             (instance ?SITE WebSite)             (instance ?INTERVAL TimeInterval)             (watchingListings ?USER ?COLL ?SITE)             (equal                 (BeginFn ?INTERVAL)                 (EndFn ?WATCH))             (holdsDuring ?AFTER                 (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1605-1621	If a time interval is an instance of WatchItem and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite,, , a time position and another time interval such that the collection is an instance of collection and the WebSite is an instance of WebSite and the other time interval is an instance of time interval and watchingListings the agent, the collection and the WebSite and equal the beginning of the other time interval and the end of the time interval and the entity is a member of the collection holds during the time position
(=>     (and         (meceCollection ?COLL1 ?COLL2)         (member ?MEMBER ?COLL1)         (instance ?MEMBER SelfConnectedObject))     (exists (?COLL3)         (and             (instance ?COLL3 Collection)             (member ?MEMBER ?COLL3)             (member ?COLL3 ?COLL2))))	UXExperimentalTerms.kif 4626-4635	If meceCollection a collection and another collection and a physical is a member of the collection and the physical is an instance of self connected object, then there exists a third collection such that the third collection is an instance of collection and the physical is a member of the third collection and the third collection is a member of the other collection
(=>     (and         (meceCollection ?COLL1 ?COLL2)         (member ?MEMBER ?COLL2)         (instance ?MEMBER SelfConnectedObject))     (instance ?MEMBER Collection))	UXExperimentalTerms.kif 4619-4624	If meceCollection a collection and another collection and a physical is a member of the other collection and the physical is an instance of self connected object, then the physical is an instance of collection
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (desires ?A         (exists (?B ?G)             (and                 (instance ?B Buying)                 (during                     (WhenFn ?B) ?T)                 (objectTransferred ?B ?G)                 (transactionAmount ?B ?C)                 (agent ?B ?A)                 (instance ?G Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 32878-32893	If shortage a cognitive agent, a kind of object, a currency measure, a time interval and a quantity and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and objectTransferred the entity and the other entity and transactionAmount the entity and the currency measure and the cognitive agent is an agent of the entity and the other entity is an instance of collection and memberType the other entity and a kind of object and memberCount the other entity and the quantity and the cognitive agent possesses the other entity
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (desires ?A         (exists (?G)             (and                 (instance ?G Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 32820-32830	If shortage a cognitive agent, a kind of object, a currency measure, a time interval and a quantity and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and memberType the entity and a kind of object and memberCount the entity and the quantity and the cognitive agent possesses the entity
(=>     (and         (shortage ?A ?O ?C ?T ?N)         (instance ?N Integer))     (not         (exists (?B ?G)             (and                 (instance ?B Buying)                 (during                     (WhenFn ?B) ?T)                 (objectTransferred ?B ?G)                 (transactionAmount ?B ?C)                 (agent ?B ?A)                 (instance ?G Collection)                 (memberType ?G ?O)                 (memberCount ?G ?N)                 (possesses ?A ?G)))))	Mid-level-ontology.kif 32845-32860	If shortage an agent, a kind of object, a currency measure, a time interval and an integer and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and objectTransferred the transfer and the collection and transactionAmount the transfer and the currency measure and the agent is an agent of the transfer and the collection is an instance of collection and memberType the collection and a kind of object and memberCount the collection and the integer and the agent possesses the collection
(=>     (attribute ?COLLECTION LineFormation)     (instance ?COLLECTION Collection))	Mid-level-ontology.kif 20990-20992	If LineFormation is an attribute of an object, then the object is an instance of collection
(=>     (attribute ?X Florists)     (hasPurpose ?X         (exists (?FLOWER ?PROC)             (and                 (instance ?PROC Designing)                 (instance ?FLOWER Collection)                 (memberType ?FLOWER Flower)                 (patient ?PROC ?FLOWER)                 (agent ?PROC ?X)))))	naics.kif 7773-7782	If Florists is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of Designing and the entity is an instance of collection and memberType the entity and Flower and the entity is a patient of the other entity and the object is an agent of the other entity
(=>     (breathingRate ?H ?T ?I)     (exists (?C ?M)         (and             (instance ?C Collection)             (memberType ?C Breath)             (memberCount ?C ?I)             (=>                 (member ?M ?C)                 (and                     (patient ?M ?H)                     (during                         (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11711-11723	If breathingRate a Lung, a time interval and an integer, then there exist a collection and a process such that the collection is an instance of collection and memberType the collection and Breath and memberCount the collection and the integer and if the process is a member of the collection, then the Lung is a patient of the process and the time of existence of the process takes place during the time interval
(=>     (coilCount ?WC ?N)     (exists (?C ?C2F)         (and             (instance ?C Collection)             (memberCount ?C ?N)             (forall (?M)                 (=>                     (member ?M ?C)                     (and                         (attribute ?M ?C2F)                         (instance ?C2F ClosedTwoDimensionalFigure)                         (part ?M ?WC)                         (not                             (exists (?M2)                                 (and                                     (overlapsSpatially ?M2 ?M)                                     (member ?M2 ?C))))))))))	Cars.kif 3177-3194	If coilCount a WireCoil and an integer, then there exist a collection and the collection2F such that the collection is an instance of collection and memberCount the collection and the integer and for all an object if the object is a member of the collection, then the collection2F is an attribute of the object and the collection2F is an instance of ClosedTwoDimensionalFigure and the object is a part of the WireCoil and there doesn't exist the object2 such that overlapsSpatially the object2 and the object and the object2 is a member of the collection
(=>     (engineCylinders ?E ?N)     (exists (?G ?EC)         (and             (instance ?G Collection)             (memberTypeCount ?G EngineCylinder ?N)             (member ?EC ?G)             (part ?EC ?E))))	Cars.kif 4592-4599	If engineCylinders an Engine and a nonnegative integer, then there exist a collection and the EngineC such that the collection is an instance of collection and memberTypeCount the collection, EngineCylinder and the nonnegative integer and the EngineC is a member of the collection and the EngineC is a part of the Engine
(=>     (equal ?GNP         (GrossNationalProductFn ?GPA ?Y))     (exists (?PRODANDSERV)         (and             (instance ?PRODANDSERV Collection)             (monetaryValue ?PRODANDSERV ?GNP)             (=>                 (and                     (instance ?M Manufacture)                     (result ?M ?PRODUCT)                     (agent ?M ?MAKER)                     (member ?MAKER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?M) ?Y))                 (member ?PRODUCT ?PRODANDSERV))             (=>                 (and                     (instance ?SERVICE Process)                     (attribute ?SERVICE ServiceInEconomics)                     (agent ?SERVICE ?PROVIDER)                     (member ?PROVIDER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?SERVICE) ?Y))                 (member ?SERVICE ?PRODANDSERV)))))	Economy.kif 1029-1050	If equal a currency measure and GrossNationalProductFn a geopolitical area and a year, then there exists a collection such that the collection is an instance of collection and value of the collection is the currency measure and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of CitizenryFn the geopolitical area and finishesDuring the time of existence of the process and the year, then the physical is a member of the collection and if an object is an instance of process and ServiceInEconomics is an attribute of the object and another agent is an agent of the object and the other agent is a member of CitizenryFn the geopolitical area and finishesDuring the time of existence of the object and the year, then the object is a member of the collection
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners