No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30144-30151	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 408-419	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 378-385	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 426-436	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 the music is not equal to 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 444-449	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 the music recording is equal to the remix of the other music recording by the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 392-400	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 461-466	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 473-478	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 457-470	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 the cognitive agent is not equal to 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 12564-12574	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 17403-17416	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 4984-4992	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 17767-17776	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 716-720	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 286-297	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 18115-18119	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 1941-1949	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 the other organization is equal to the third organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 249-253	If an attribute is an attribute of an object and the attribute is an instance of military rank, then the object is a member of military service
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17315-17319	If an attribute is an attribute of an object and the attribute is an instance of social role, then the object is an instance of human
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