No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 195-201	If stateless person is an attribute of an entity holds during a time position and another entity is an instance of nation, then the entity is not a citizen of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16324-16329	If there is a legal relation between an entity and another entity holds during a time position and the entity is an instance of organism and the other entity is an instance of organism, then the other entity is a relative of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7562-7569	If an entity is a member of another entity holds during a time position and the entity is an instance of human and the other entity is an instance of group of people, then the entity is a member of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1900-1904	If an entity publishes a class holds during a time position and the class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1888-1892	If an entity publishes a class holds during a time position and the class is a subclass of musical composition, then music publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1912-1916	If an entity publishes a class holds during a time position and the class is a subclass of newspaper, then newspaper publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1906-1910	If an entity publishes a class holds during a time position and the class is a subclass of periodical, then periodical publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1894-1898	If an entity publishes a class holds during a time position and the class is a subclass of text, then information industry is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3889-3893	If a formula holds during a time position and the formula entails another formula, then the other formula holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14337-14344	If the developmental form of an entity is an attribute holds during a time interval and another attribute is a successor attribute of the attribute, then there exists another time interval such that the other time interval happens earlier than the time interval and the developmental form of the entity is the other attribute holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7954-7958	If a formula holds during a time position and another time position is a part of the time position, then the formula holds during the other time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3529-3534	If a bank card is an instance of expired card holds during a time position and a financial account is a card account of the bank card, then active agreement is not an attribute of the bank card holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2583-2592	If a geopolitical area import total in period a currency measure for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual import total of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 546-553	If a kind of time interval is an independence date of a geopolitical area and a time position is an instance of a kind of time interval, then there doesn't exist an entity such that the geopolitical area is a dependent of the entity holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23710-23719	If every a kind of object is initially part of a another kind of object and a physical is an instance of a kind of object, then there exists an entity such that the entity is an instance of another kind of object and the physical is a part of the entity holds during the beginning of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23737-23745	If instance of a kind of object are always initially part of instances of another kind of object and a physical is an instance of another kind of object, then there exists an entity such that the entity is an instance of a kind of object and the entity is a part of the physical holds during the beginning of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21495-21506	If a process is an instance of aborting and an entity is a patient of the process and the entity is an instance of woman, then pregnant is an attribute of the entity holds during the beginning of the time of existence of the process and pregnant is not an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	If a process is an instance of amputation and an entity is a patient of the process and an object is an instance of limb, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the other object and the third object is an instance of bone and the other object is a part of the entity holds during immediately before the time of existence of the process and the other object is not a part of the entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 966-975	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity and pain is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 949-958	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity or pain is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29620-29632	If a process is an instance of apologizing and the processG is an agent of the process and the process ends up at another agent, then there exists the processCT such that the other agent suffers from the processCT and the processG is an agent of the processCT and the processG doesn't want the processCT holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1042-1055	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	If a process is an instance of asphyxiation and an agent experiences the process, then there doesn't exist an entity such that the entity is an instance of breathing and the process experiences the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	If a process is an instance of local anesthetizing and the process is located at an object and the object is an instance of body part and the object is a part of another object and the other object is a patient of the process, then pain in the the object is not an attribute of the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 983-992	If a process is an instance of Sedating and an entity is a patient of the process, then conscious is an attribute of the entity and anxiety is not an attribute of the entity holds during the time of existence of the process
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