No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29868-29888	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 the cognitive agent buys the other entity from the agent 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 the object transferred in the fourth entity is 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14477-14483	If an object is an instance of label, then there exists another object such that the other object is an instance of self connected object and the object is connected to the other object and the object includes a reference to the other object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1686-1694	If a process is an instance of operation order, then there exist an entity and the entityNING such that the entity is an instance of OPLAN and the entityNING is an instance of operation planning and the entity is a result of the entityNING and the entityNING causes the process and the entity includes a reference to the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16135-16140	If an entity is an instance of pleading, then there exists another entity such that the other entity is an instance of criminal action and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9271-9276	If an entity is an instance of prescription, then there exists another entity such that the other entity is an instance of medicine and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29895-29915	If an entity is an instance of purchase order, 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 the cognitive agent buys the other entity from the other cognitive agent 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 the object transferred in the third entity is 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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3386-3393	If an entity is an instance of paystub, then there exist a process, an object and another entity such that the process is an instance of financial transaction and the process originates at the object and the process ends up at the other entity and the entity includes a reference to the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 724-729	If an entity is an instance of researching weapon of mass destruction, then there exists another entity such that the other entity is an instance of weapon of mass destruction and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14938-14943	If an entity is an instance of mystery story, then there exists another entity such that the other entity is an instance of criminal action and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16595-16600	If an entity is an instance of testament, then there exists another entity such that the other entity is an instance of bequeathing and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1681-1686	If an entity is an instance of uniform resource identifier, then there exists another entity such that the other entity is an instance of digital data and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3109-3114	If an entity is an instance of VaccinationCard, then there exists another entity such that the other entity is an instance of vaccination and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2204-2213	If a physical is an instance of data warehouse, then the physical has the purpose there exists an entity such that the entity is an instance of proposition and for all another entity the other entity includes a reference to the entity and the other entity is a component of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26427-26435	If an entity is an instance of dining guide, then there exist an object and a physical such that the object is an instance of geographic area and the entity includes a reference to the object and the physical is an instance of restaurant and the physical is located at the object and the entity includes a reference to the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26415-26420	If an entity is an instance of guide book, then there exists another entity such that the other entity is an instance of geographic area and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21317-21322	If an entity is an instance of theology, then there exists another entity such that the other entity is an instance of religious process and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 647-652	If christian music is in the genre an object, then there exists another object such that christian is an attribute of the other object and the object includes a reference to the other object
No TPTP formula. May not be expressible in strict first order.	Music.kif 633-639	If religious music is in the genre an object, then there exist an attribute and another object such that the attribute is an instance of religious attribute and the attribute is an attribute of the other object and the object includes a reference to the other object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1175-1177	If a formula is known about an agent who visits a web site, then the formula includes a reference to an entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 434-441	If a web store has advertisement an advertising, then there exist an entity and a corpuscular object such that the advertising includes a reference to the entity and the advertising is a component of the corpuscular object and the corpuscular object is an instance of web page and the corpuscular object is a member of the web store

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