No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	If a kind of muscle and another kind of muscle are antagonist muscles and a process is an instance of extension and a kind of muscleC is an instrument for the process and another kind of muscleC moves during a motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of mammal, then the other kind of muscleC is capable of doing flexion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of mammal, then the other kind of muscleC is capable of doing extension as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	If an object can be an argument to a relation and the object is an instance of the objectC and the number 1 argument of the relation is an instance of another class, then the objectC is equal to the other class or the objectC is a subclass of the other class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	If the approximate diameter of a self connected object is a real number the real numberM(s) and the radius of an object is the real number and 2.0 the real numberM(s) and the measure of the object is another real number another unit of measure(s) and the measure of the self connected object is a third real number the other unit of measure(s) and the real numberM is an instance of unit of length and the other unit of measure is an instance of unit of volume, then the other real number is equal to the third real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Government.kif 148-152	If a form of government is an attribute of the government of a geopolitical area and the form of government is an instance of form of government, then the form of government is a government type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Music.kif 478-482	If an attribute is an attribute of an object and the attribute is an instance of album attribute, then the object is an instance of album
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	If appraisal as just treatment is an attribute of a cognitive agent and the cognitive agentJT is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentJT, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentJT includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	If appraisal as unjust treatment is an attribute of a cognitive agent and the cognitive agentUJ is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentUJ, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentUJ includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent doesn't want the other process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 223-230	If Founder is an attribute of an agent and the agent is an instance of human, then there exists a process such that the process is an instance of founding and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 648-652	If an attribute is an attribute of an object and the attribute is an instance of account attribute, then the object is an instance of user account
No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there don't exist a third process and another agent such that the third process is an instance of seeing and the agent is a patient of the third process and the other agent is an agent of the third process and there exist a fourth process and the other agent such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1774-1779	If the member of an organization is an attribute of an object and the object is an instance of agent and the organization is an instance of organization, then the object is a member of the organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 865-869	If communist state is an attribute of an agent and the agent is an instance of nation, then centrally planned economy is an economy type of the agent
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1363-1370	If an attribute is an attribute of an agent and the attribute is an instance of professional athlete, then there exists a contest such that the contest is an instance of sport and the agent participates in the contest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1357-1361	If an attribute is an attribute of an agent and the attribute is an instance of professional athlete, then the agent has the skill to do sport
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1833-1837	If an attribute is an attribute of an object and the attribute is an instance of device attribute, then the object is an instance of device
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4407-4411	If an attribute is an attribute of an object and the attribute is an instance of experiment attribute, then the object is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	Food.kif 437-445	If decaf is an attribute of a substance and the substance is an instance of food, then there doesn't exist another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	If family-style portions is an attribute of an object and the measure of the object is a real number an unit of measure(s) and family-style portions is not an attribute of another object and the measure of the other object is another real number the unit of measure(s) and the object is an instance of a class and the other object is an instance of the class and the unit of measure is an instance of unit of measure, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	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 the objectE is not equal to 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 the objectE is not equal to 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 3984-4004	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and the agent is not equal to 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
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