No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16152-16159	If a formula describes an object, then there exist a process and an agent such that the process is an instance of stating and the agent is an agent of the process and the formula is a patient of the process and the process includes a reference to the object
No TPTP formula. May not be expressible in strict first order.	Law.kif 180-188	If a physical is evidence in a legal action, then there exist an argument and the physicalROP such that the physicalROP is an instance of proposition and the argument is an instance of argument and the argument includes a reference to the legal action and the physicalROP expresses the physical and the physicalROP is a premise of the argument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2680-2682	If a content bearing physical is an update of an experimenting, then the content bearing physical includes a reference to the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2709-2711	If the final report for an experimenting is a content bearing physical, then the content bearing physical includes a reference to the experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14522-14532	If an entity is an instance of announcement, then there exist a process and a physical such that the process is an instance of content development and the entity is a result of the process and the entity includes a reference to the physical and the physical is an instance of social interaction and the time of existence of the process happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 333-338	If a physical is an instance of aqiqah, then there exists another physical such that the physical includes a reference to the other physical and the time of existence of the other physical happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13123-13128	If a physical is an instance of advertising, then there exists an entity such that the physical includes a reference to the entity and the physical has the purpose there exists another entity such that the other entity is an instance of selling and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2025-2030	If an entity is an instance of Apple ID, then there exists another entity such that the other entity is an instance of email address 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 898-904	If a physical is an instance of answering, then there exists another physical such that the other physical is an instance of questioning and the physical includes a reference to the other physical and the time of existence of the other physical happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14897-14902	If an entity is an instance of biography, then there exists another entity such that the other entity is an instance of human and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2295-2300	If an entity is an instance of calendar, then there exists another entity such that the other entity is an instance of day 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 12994-13002	If a process is an instance of congratulating, then there exist another process, a cognitive agent and an agent such that the process ends up at the agent and the agent is an agent of the other process and the cognitive agent is an agent of the process and the cognitive agent wants the other process and the process includes a reference to the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29679-29691	If a process is an instance of correcting, then there exist another process, a third process,, , the third processP and the processP such that the other process is an instance of disagreeing and the process is a subprocess of the other process and the third process is an instance of stating and the third process is a subprocess of the other process and the third process contains information the third processP and the process contains information the processP and the processP includes a reference to the third processP and the third processP is not a consistent of the processP
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14874-14879	If an entity is an instance of holiday card, then there exists another entity such that the other entity is an instance of holiday 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 16280-16285	If an entity is an instance of game call, then there exists another entity such that the other entity is an instance of game and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3167-3174	If a physical is an instance of computer desktop image, then the physical has the purpose the physical includes a reference to an entity and the entity is an instance of digital data or the entity is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13243-13248	If an entity is an instance of chart, then there exists another entity such that the other entity is an instance of physical quantity and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2864-2869	If an entity is an instance of digital comment, then there exists another entity such that the other entity is an instance of digital post and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13067-13076	If a process is an instance of communication, then there exist an entity, another entity,, , an agent and a third entity such that the entity includes a reference to the other entity and the entity is a patient of the process and the agent is an instance of cognitive agent and the agent is an agent of the process and the third entity is an instance of cognitive agent and the process ends up at the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10816-10821	If an entity is an instance of legal decision, then there exists another entity such that the other entity is an instance of legal action and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2043-2052	If an object is an instance of product description page, then there exist an entity, a process,, , another process and the processCONTENT such that the entity is an instance of class and the other process is an instance of stating and the process is a patient of the other process and the process includes a reference to the entity and the processCONTENT is a result of the process and the processCONTENT is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16006-16011	If an entity is an instance of funeral, then there exists another entity such that the other entity is an instance of death 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 13265-13270	If an entity is an instance of national flag, then there exists another entity such that the other entity is an instance of nation 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 13272-13277	If an entity is an instance of chart, then there exists another entity such that the other entity is an instance of physical quantity and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3312-3314	If an entity is an instance of hyperlink, then the entity includes a reference to digital data
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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