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.	Cars.kif 3163-3173	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is a real number volt(s), then the approximate value of the real number is 12
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8984-8988	If a physical is an instance of ice and the measure of the physical is a real number celsius degree(s), then the real number is less than or equal to 0.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 2463-2478	If a self connected object is an instance of cocoa liquor and 100.0 gram(s) is a weight of the self connected object and another self connected object is an instance of cocoa solid and the other self connected object is a part of the self connected object and a real number gram(s) is a weight of the other self connected object and a third self connected object is an instance of cocoa butter and the third self connected object is a part of the self connected object and another real number gram(s) is a weight of the third self connected object, then the approximate value of the real number is 50.0 and the approximate value of the other real number is 50.0
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.	FinancialOntology.kif 1497-1502	If an agreement is an instance of bank term loan and a time interval is an agreement period of the agreement and duration of the time interval is a real number year duration(s), then the real number is greater than or equal to 1
No TPTP formula. May not be expressible in strict first order.	Sports.kif 295-302	If a motion is an instance of half-marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 13.1
No TPTP formula. May not be expressible in strict first order.	Sports.kif 281-288	If a motion is an instance of marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 26.2
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	If an object is an instance of mixture and an unit of measure is an instance of unit of measure and A Mixture containing a real number unit the unit of measure of a substance and another real number unit the unit of measure of another substance and the measure of the object is a third real number the unit of measure(s) and the substance is a part of the object and the other substance is a part of the object and the measure of the substance is the real number the unit of measure(s) and the measure of the other substance is the other real number the unit of measure(s), then the third real number is equal to (the real number and the other real number)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4962-4968	If an object is an instance of mutton and the object is a part of another object and the other object is an instance of sheep and the age of the other object is a real number month duration(s), then the real number is greater than or equal to 12
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	If an object is an instance of one percent milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is equal to 0.01 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	If an object is an instance of semi skimmed milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.015 and the real number and the real number2 is less than or equal to 0.02 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	If an object is an instance of skimmed milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.0 and the real number and the real number2 is less than or equal to 0.005 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	If an object is an instance of two percent milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is equal to 0.02 and the real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	If an object is an instance of whole milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.0325 and the real number and the real number2 is less than or equal to 0.05 and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10554-10569	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 10532-10547	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.	Merge.kif 9485-9489	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then the number of instances in decomposition of the time interval into days is equal to the integer
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.	ComputingBrands.kif 1243-1248	If a computer network is an instance of 2G network and a real number bits per second(s) is a bandwidth of the computer network, then the real number is less than 40000
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1288-1293	If a computer network is an instance of 3G network and a real number bits per second(s) is a bandwidth of the computer network, then the real number is less than 200000
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1335-1340	If a computer network is an instance of 4G network and a real number 1 billion bits per seconds(s) is a bandwidth of the computer network, then the real number is less than 1
No TPTP formula. May not be expressible in strict first order.	Media.kif 611-617	If a time interval is an instance of passover and duration of the time interval is a real number day duration(s), then the real number is equal to 7 or the real number is equal to 8
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.	FinancialOntology.kif 1192-1207	If a financial account is an instance of profit sharing plan and a cognitive agent holds account the financial account and an agent employs the cognitive agent and the profit from a financial transaction is a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the agent is an agent of the financial transaction, then there exist another real number and the real numberAY such that the real numberAY is an instance of financial transaction and the other real number the unit of measure(s) is a transaction amount of the real numberAY and the other real number is less than the real number and the real numberAY ends up at the financial account
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