No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3652-3657	If a human is an instance of human and the human holds the position of a position in an organization and banker is an attribute of the position, then the organization is an instance of BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2336-2351	If a process is an instance of Graves' disease and an agent experiences the process and the agent is an instance of human and an object is an instance of thyroid hormone and the object is a part of the agent and the measure of the object is a real number an unit of measure(s) and another object is an instance of human and a third object is an instance of thyroid hormone and the third object is a part of the other object and the measure of the third object is another real number the unit of measure(s) and healthy is an attribute of the other object, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2382-2397	If a process is an instance of Hashimoto's thyroiditis and an agent experiences the process and the agent is an instance of human and an object is an instance of thyroid hormone and the object is a part of the agent and the measure of the object is a real number an unit of measure(s) and another object is an instance of human and a third object is an instance of thyroid hormone and the third object is a part of the other object and the measure of the third object is another real number the unit of measure(s) and healthy is an attribute of the other object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23513-23526	If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval, then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25840-25852	If an object is an instance of knock light and an agent is an instance of human and deaf is an attribute of the agent and the agent uses the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of impacting and the other entity is a patient of the entity and the other entity is an instance of door and the agent knows the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	If a process is an instance of misdiagnosing and a cognitive agent is an agent of the process and the process includes a reference to an entity and the entity is an instance of human, then there exists the cognitive agentIS such that the process contains the formula the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an instance of disease or syndrome and the cognitive agent believes the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an attribute of the entity is false
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1753-1773	If a musical tone is an instance of musical tone and the frequency of the musical tone is a real number hertz(s) and the sound of the musical tone is another real number dB(A)(s) and the musical tone is located at the place where a human was at the beginning of the time of existence of the musical tone and a third real number is greater than the other real number and the other real number is greater than a fourth real number and the real number is greater than 250 and 8000 is greater than the real number and the human is an instance of human and a process is an instance of listening and the human is an agent of the process, then the human can hear frequency of the third real number dB(A)(s) at the fourth real number dB(A)(s) decibels
No TPTP formula. May not be expressible in strict first order.	Biography.kif 156-169	If a process is an instance of Ordaining and a physical is a patient of the process and the physical is an instance of human and the physical is a member of christianity, then the process has the purpose there exist an entity and another entity such that the entity is an instance of ceremony and the other entity is an instance of appointing and the other entity is a subprocess of the entity and the physical is a patient of the other entity and appointedPosition the other entity, the physical and cleric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 233-239	If an entity is an instance of human and fully formed is an attribute of the entity holds during a time position, then the entity is an instance of human adult holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22470-22475	If an entity is an instance of military organization and another entity is a member of the entity holds during a time position and the other entity is an instance of human, then military person is an attribute of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1110-1117	If an object is an instance of human and fever is an attribute of the object, then there exists a real number such that the measure of the object is the real number fahrenheit degree(s) and the real number is greater than 98.6
No TPTP formula. May not be expressible in strict first order.	Justice.kif 87-96	If an object is an instance of human and criminal is an attribute of the object, then there exist an entity and a process such that the entity is an instance of criminal action and the process is an instance of legal conviction and the process includes a reference to the entity and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 49-59	If a physical is an instance of disabled parking and an agent is an instance of human and an attribute is an attribute of the agent and the attribute is an instance of disability, then the physical has the purpose the physical plays role in event destination for an entity and another entity plays role in event patient for the entity and the other entity is an instance of transportation device for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7467-7474	If a human is an instance of human and the descendants of the human is equal to a family group, then for all an organism the organism is a member of the family group if and only if the human is the ancestor of the organism
No TPTP formula. May not be expressible in strict first order.	Government.kif 1806-1812	If a human is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the human, then the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1487-1494	If a human is an instance of human and a position is an instance of position and a geopolitical area is an instance of geopolitical area and the position is a leader position of the geopolitical area and the human holds the position of the position in the government of the geopolitical area, then the human is a leader of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1478-1485	If a human is an instance of human and a position is an instance of position and an organization is an instance of agent and the position is a leader position of the organization and the human holds the position of the position in the organization, then the human is a leader of the organization
No TPTP formula. May not be expressible in strict first order.	Biography.kif 742-751	If an agent is an instance of human and a process is an instance of writing and an entity is an instance of text or the entity is an instance of document and the entity is a result of the process and the agent is an agent of the process, then writer is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 634-638	If an agent is an instance of human and pilot is an attribute of the agent, then the agent has the skill to do flying
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.	Mid-level-ontology.kif 624-631	If an entity is an instance of radiating light and an agent is an instance of human and a process is an instance of seeing and the agent is an agent of the process and the entity is a patient of the process, then the entity is an instance of radiating visible light
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
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