consequent

(=>     (and         (instance ?LOGO Logo)         (represents ?LOGO ?OBJ))     (or         (instance ?OBJ AutonomousAgent)         (instance ?OBJ Product)))	Media.kif 895-901	If an entity is an instance of Logo and the entity expresses another entity, then the other entity is an instance of agent or the other entity is an instance of product
(=>     (instance ?B Warehouse)     (hasPurpose ?B         (exists (?K ?P)             (and                 (instance ?K Keeping)                 (patient ?K ?P)                 (instance ?P Product)                 (eventLocated ?K ?B)))))	Mid-level-ontology.kif 8211-8219	If a physical is an instance of Warehouse, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of keeping and the other entity is a patient of the entity and the other entity is an instance of product and event located the entity and the physical
(=>     (instance ?INVOICE Invoice)     (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)         (and             (uniqueIdentifier ?NUMBER ?INVOICE)             (buys ?BUYER ?SELLER ?ENT)             (confersRight                 (exists (?SELLING)                     (and                         (before                             (BeginFn                                 (WhenFn ?INVOICE))                             (BeginFn                                 (WhenFn ?SELLING)))                         (instance ?SELLING Selling)                         (instance ?PRODUCT Product)                         (objectTransferred ?SELLING ?PRODUCT)                         (refers ?INVOICE ?PRODUCT)                         (agent ?SELLING ?SELLER)                         (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))	Mid-level-ontology.kif 31746-31766	If an entity is an instance of Invoice, then there exist a symbolic string, a cognitive agent,, , an agent,, , another entity and a third entity such that the unique identifier of the symbolic string is the entity and buys the cognitive agent, the agent and the other entity and the agent allows the cognitive agent to perform task of the type there exists a fourth entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fourth entity and the fourth entity is an instance of selling and the third entity is an instance of product and objectTransferred the fourth entity and the third entity and the entity includes a reference to the third entity and the agent is an agent of the fourth entity and the cognitive agent is a patient of the fourth entity
(=>     (instance ?PO PurchaseOrder)     (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)         (and             (uniqueIdentifier ?NUMBER ?PO)             (buys ?BUYER ?SELLER ?PRODUCT)             (confersObligation                 (exists (?BUYING)                     (and                         (before                             (BeginFn                                 (WhenFn ?PO))                             (BeginFn                                 (WhenFn ?BUYING)))                         (instance ?BUYING Buying)                         (instance ?PRODUCT Product)                         (objectTransferred ?BUYING ?PRODUCT)                         (refers ?PO ?PRODUCT)                         (agent ?BUYING ?BUYER)                         (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))	Mid-level-ontology.kif 31773-31793	If an entity is an instance of PurchaseOrder, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and buys the cognitive agent, the other cognitive agent and the other entity and the cognitive agent obligates the other cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of buying and the other entity is an instance of product and objectTransferred the third entity and the other entity and the entity includes a reference to the other entity and the cognitive agent is an agent of the third entity and the other cognitive agent is a patient of the third entity
(=>     (instance ?SHIP GeneralCargoShip)     (cargoType ?SHIP Product))	Transportation.kif 2492-2494	If a transportation device is an instance of GeneralCargoShip, then cargoType the transportation device and product
(=>     (instance ?VD VendingMachine)     (hasPurpose ?VD         (exists (?T ?C ?P)             (and                 (instance ?T FinancialTransaction)                 (instrument ?T ?VD)                 (patient ?T ?C)                 (instance ?C Currency)                 (patient ?T ?P)                 (instance ?P Product)))))	Mid-level-ontology.kif 2437-2447	If a physical is an instance of VendingMachine, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of financial transaction and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of Currency and the third entity is a patient of the entity and the third entity is an instance of product

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