No TPTP formula. May not be expressible in strict first order.	Merge.kif 9088-9093	If a time interval is an instance of the month February and an entity is an instance of the entityEAR and the entity is not an instance of leap year, then duration of the time interval is 28 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5086-5091	If a real number is an instance of integer and the real number is not equal to 0, then 1 is equal to the real number and the reciprocal of the real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2695-2704	If a process is an instance of pernicious anemia and an agent experiences the process and amount cobalamin, the agent and a real number an unit of measure(s) and amount cobalamin, a corpuscular object and another real number the unit of measure(s) and healthy is an attribute of the corpuscular object and the agent is not equal to the corpuscular object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7909-7913	If a time point is an instance of time point and the time point is not equal to negative infinity, then negative infinity happens before the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7915-7920	If a time point is an instance of time point and the time point is not equal to negative infinity, then there exists another time point such that the other time point is between negative infinity and the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7891-7895	If a time point is an instance of time point and the time point is not equal to positive infinity, then the time point happens before positive infinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7897-7902	If a time point is an instance of time point and the time point is not equal to positive infinity, then there exists another time point such that the other time point is between the time point and positive infinity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the accessing web page and the time interval takes place during the accessing web page and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the accessing web page and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the accessing web page is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the accessing web page in the class the time interval_CLASS is equal to the physical
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1409-1418	If a process is an instance of taking off and an entity is a patient of the process and there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process, then the entity is an instance of absolute dud
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	If a kind of body part is an instance of cervical vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of cervical vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	If a kind of body part is an instance of costae spuriae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there doesn't exist another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	If a kind of body part is an instance of lumbar vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of lumbar vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4935-4950	If an entity is an instance of ratchet and another entity is an instance of attaching device and the entityO1 is an instance of rotating and an attribute is an attribute of the entityO1 and the entityO2 is an instance of rotating and another attribute is an attribute of the entityO2 and the attribute is an instance of rotational attribute and the other attribute is an instance of rotational attribute and the entityO1 is not equal to the entityO2 and the entityO1 causes the entityO2 and ratchet is a patient of the entityO1 and the other entity is a patient of the entityO2, then the attribute is equal to the other attribute
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	If a kind of body part is an instance of thoracic vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of thoracic vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	If a kind of body part is an instance of costae verae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11246-11261	If a self connected object is an instance of rib cage and the self connected object is a part of an object and the object is an instance of human and living is an attribute of the object and ~{ a physical is an instance of pathologic process } or ~{ the physical is located at the object }, then there exist the objectT and a third object such that the objectT is an instance of heart and the objectT is an instance of lung and the self connected object contains the third object and the self connected object contains the objectT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5629-5638	If a process is an instance of soldering and an object is a patient of the process and another object is a patient of the process and the object is not equal to the other object, then there exists a third object such that the third object is an instance of metallic alloy and the third object connects the object and the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4643-4647	If an object is an instance of ocean and the object is not equal to arctic ocean, then arctic ocean is smaller than the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2120-2139	If an entity is an instance of shaft and another entity is an instance of shaft and the entity is not equal to the other entity and an engineering component is an instance of rotating and the entity is a patient of the engineering component and another engineering component is an instance of rotating and the other entity is a patient of the other engineering component and the engineering component causes the other engineering component and a third engineering component is an instance of C.V. joint and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and the entity is equal to the rotation of a third entity during a fourth entity holds during the time of existence of the engineering component, then the other entity is equal to the rotation of the third entity during the fourth entity holds during the time of existence of the other engineering component
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5132-5145	If an object is an instance of StripMall and another object is an instance of retail store and the other object is a part of the object and a third object is an instance of retail store and the third object is a part of the object and the other object is not equal to the third object, then there doesn't exist a fourth object such that the fourth object is an instance of hall and the other object connects the fourth object and the third object
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	If a geopolitical area is an instance of american state and the geopolitical area is not equal to california, then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	If a time interval is an instance of TimePeriod and duration of the time interval is a real number minute duration(s) and the real number is greater than 5.0 and an entity is an instance of human and there doesn't exist a process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval and the entity is a patient of the process, then the statement there exists another entity such that the other entity is an instance of death and the entity experiences the other entity and the time interval meets the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 871-878	If an unit of measure is an instance of area measure and the measure of alaska is a real number the unit of measure(s) and the measure of a physical is another real number the unit of measure(s) and the physical is an instance of american state and alaska is not equal to the physical, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6920-6926	If a permanent residence is an instance of single family residence and the home of a human is the permanent residence and the human possesses the permanent residence and the permanent residence is not an instance of building, then the permanent residence is an instance of condominium unit
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