No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5836-5846	If a disease or syndrome is an attribute of an object and a kind of therapeutic process is a treatment for the disease or syndrome and a process is an instance of TherpeuticProcess and the disease or syndromeOC is an agent of the process and the object is a patient of the process and medical doctor is an attribute of the disease or syndromeOC, then the statement the process is an instance of a kind of therapeutic process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and equal the objectE and the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and equal the objectE and the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 13
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3987-4007	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and equal the agent and the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32012-32019	If inhabited is an attribute of an object and the object is an instance of region, then there exists an organism such that the organism is an instance of human and the organism lives in the object
No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	If an attribute is an attribute of an object and the attribute is an instance of christian, then the object is a member of christianity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 299-303	If an attribute is an attribute of an object and the attribute is an instance of web listing attribute, then the object is an instance of web listing
No TPTP formula. May not be expressible in strict first order.	Music.kif 410-421	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Music.kif 380-387	If live recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then there exists a physical such that the physical is an instance of performance and the content bearing object is a record of the physical
No TPTP formula. May not be expressible in strict first order.	Music.kif 428-438	If mashup is an attribute of an object and the object is an instance of recording, then there exist the object1, the object2,, , a music and another music such that the object1 is a recording of the music and the object2 is a recording of the other music and equal the music and the other music and the object1 is a part of the object and the object2 is a part of the object
No TPTP formula. May not be expressible in strict first order.	Music.kif 446-451	If remix recording is an attribute of a music recording and the music recording is an instance of music recording, then there exist another music recording and a cognitive agent such that equal the music recording and the remix of the other music recording by the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 394-402	If studio recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then there exist a process and an object such that the content bearing object is a record of the process and the process is located at the object and the object is an instance of recording studio
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 472-477	If peace state is an attribute of an organization and the organization is an instance of military organization and a position is a leader position of the organization, then the organization is subordinate position the position for secretary of defense
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 484-489	If war state is an attribute of an organization and the organization is an instance of military organization and a position is a leader position of the organization, then the organization is subordinate position the position for president
No TPTP formula. May not be expressible in strict first order.	Music.kif 459-472	If cover recording is an attribute of a music recording and the music recording is an instance of music recording and a cognitive agent is the performer in the music recording and the music recording is a recording of a music and the music recording is a record of the musicM, then there exist another music recording, the cognitive agentRTIST and the musicUSIC such that the other music recording is a recording of the music and the cognitive agentRTIST is the performer in the other music recording and equal the cognitive agent and the cognitive agentRTIST and the other music recording is a record of the musicUSIC and the time of existence of the musicUSIC happens before the time of existence of the musicM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13868-13878	If an attribute is an attribute of an object and the attribute is an instance of fingerprint and the object is not an instance of finger, then there exist the attributeR and another object such that the other object is an instrument for the attributeR and the other object is an instance of finger and the attribute is an attribute of the other object and the object is a patient of the attributeR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17507-17520	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a result of the process and the agent believes the object the attribute the attribute holds during the time position
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1130-1134	If an attribute is an attribute of an object and the attribute is an instance of food attribute, then the object is an instance of prepared food
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5927-5935	If an attribute is an attribute of an object and the attribute is an instance of sphere, then there exist a geometric point and a length measure such that for all another geometric point if the other geometric point is a vertex of the object, then the other geometric point is geometric distance the geometric point for the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17871-17880	If monochromatic is an attribute of an object and another object is a superficial part of the object and an attribute is an attribute of the other object and the attribute is an instance of primary color, then for all a third object if the third object is a superficial part of the object, then the attribute is an attribute of the third object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 715-719	If an attribute is an attribute of an object and the attribute is an instance of brushless, then the object is an instance of electrical motor
No TPTP formula. May not be expressible in strict first order.	Military.kif 363-374	If an attribute is an attribute of an agent and the attribute is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18222-18226	If an attribute is an attribute of an object and the attribute is an instance of biological attribute, then the object is an instance of organic object
No TPTP formula. May not be expressible in strict first order.	naics.kif 8114-8118	If an attribute is an attribute of an object and the attribute is an instance of deep sea coastal and great lakes water transportation, then the object is an instance of transportation company
No TPTP formula. May not be expressible in strict first order.	Government.kif 1939-1947	If unicameral legislature is an attribute of an organization and a geopolitical area is a legislative branch of the organization and another organization is an instance of legislative chamber and the other organization is a part of the organization the government of the geopolitical area and a third organization is an instance of legislative chamber and the third organization is a part of the organization the government of the geopolitical area, then equal the other organization and the third organization
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