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 23805-23820	If a process is an instance of lengthening and an entity is a patient of the process, then there exist the process1, the process2 and another entity such that the other entity is an instance of unit of length and the length of the entity is the process1 the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the process2 the other entity(s) holds during the end of the time of existence of the process and the process2 is greater than the process1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and an unit of measure is an instance of unit of length and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a real number the unit of measure(s) and the distance between the process3 and the process4 is another real number the unit of measure(s), 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 7940-7947	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process and an integer is a member count of the collection, then the integer is greater than 10
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	If a time interval is an instance of low tide and another time interval is an instance of high tide and the time interval is located at an object and the other time interval is located at the object and a third time interval is an instance of day and the third time interval overlaps the time interval and the third time interval overlaps the other time interval, then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the time interval and the other real number the entity(s) is a water depth of the object holds during the other time interval and 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 10555-10570	If a process is an instance of muscle relaxing and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, 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 10533-10548	If a process is an instance of muscular contraction and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	If a process is an instance of moving away from people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	If a process is an instance of moving towards people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the real number is greater than the other real number
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.	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.	Military.kif 759-769	If a process is an instance of pulling and an agent is an agent of the process and the processULLED is a patient of the process and the process ends up at another entity, then the distance between the agent and the other entity is a third entity and the distance between the processULLED and the other entity is a fourth entity and the fourth entity is greater than the third entity holds during the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17638-17656	If a time interval is an instance of pulling and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17616-17634	If a time interval is an instance of pushing and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7311-7316	If a self connected object is an instance of boulder and the approximate diameter of the self connected object is a real number millimeter(s), then the real number is greater than 256.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7288-7295	If a self connected object is an instance of cobble and the approximate diameter of the self connected object is a real number millimeter(s), then 256.0 is greater than the real number and the real number is greater than 64.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7265-7272	If a self connected object is an instance of pebble and the approximate diameter of the self connected object is a real number millimeter(s), then 64.0 is greater than the real number and the real number is greater than 2.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19565-19577	If a process is an instance of chemical reduction and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process, then there exists another real number such that the other real number is greater than the real number and the other real number is an electron number of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 403-409	If a railway is an instance of railway and the railway the attribute broad gauge and a real number meter(s) is a track width of the railway, then the real number is greater than 1.44
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17208-17223	If a process is an instance of shortening and an entity is a patient of the process, then there exist a real number, another real number and another entity such that the other entity is an instance of unit of length and the length of the entity is the real number the other entity(s) holds during the beginning of the time of existence of the process and the length of the entity is the other real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2632-2641	If a physical is an instance of spaghetti and another physical is an instance of linguine and an unit of measure is an instance of unit of length and the width of the physical is a real number the unit of measure(s) and the width of the other physical is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	If a process is an instance of spamming and a collection is an instance of group of people and an integer is a member count of the collection and the process ends up at the collection, then the statement the integer is greater than 100 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1987-1999	If an entity is an instance of self connected object and a process is an instance of compressing and the entity is a patient of the process and the measure of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the other entity is an instance of unit of volume and the measure of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2388-2404	If a process is an instance of search engine optimization and an entity is a patient of the process, then the process has the purpose there exist another entity_BEFORE, the other entity_AFTER,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity_BEFORE is an instance of search results and the other entity_AFTER is an instance of search results and the entity is equal to the third entityth element of the other entity_BEFORE and the entity is equal to the fourth entityth element of the other entity_AFTER and the fifth entity is an instance of best match sort and the sixth entity is an instance of best match sort and the time of existence of the fifth entity happens earlier than the time of existence of the sixth entity and the time of existence of the process happens earlier than the time of existence of the sixth entity and the time of existence of the fifth entity happens earlier than the time of existence of the process and the third entity is greater than the fourth entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2016-2029	If a process is an instance of speaking at a faster rate and another process is an instance of speaking at a slower rate and an unit of measure is an instance of unit of duration and an agent is an agent of the process and the agent is an agent of the other process and the process contains information a proposition and the other process contains information the proposition and duration of the time of existence of the process is a real number the unit of measure(s) and duration of the time of existence of the other process is another real number the unit of measure(s), then the real number is greater than the other real number
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