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.	FinancialOntology.kif 408-424	If a financial transaction is an instance of payment and the financial transaction originates at the currency of a financial account and the financial account is an instance of financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after the time of existence of the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6225-6229	If an entity is an instance of a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the entity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6231-6235	If an entity is an instance of a real number an unit of measure(s) and the unit of measure is an instance of non composite unit of measure, then the entity is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6620-6626	If a physical quantity is an instance of physical quantity and an unit of measure is an instance of unit of measure and the physical quantity is equal to a real number the unit of measure(s), then the unit of the physical quantity is equal to the unit of measure
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	If a radiating is an instance of radiating electromagnetic and the frequency of the carrier of the radiating is a real number hertz(s) and the wavelength of the radiating is another real number meter(s), then the other real number meter(s) is equal to 299792458 and the real number meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2561-2567	If a process is an instance of process and a physical is a patient of the process and the physical is an instance of water and the measure of the physical is a real number PH value(s), then the real number is less than 5.6
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.	Transportation.kif 453-458	If a railway is an instance of railway and the railway the attribute narrow gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 427-433	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is greater than or equal to 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 435-441	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.44
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.	Cars.kif 1993-2005	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.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1029-1033	If a physical is an instance of merchant marine ship and the measure of the physical is a real number registry ton(s), then the real number is greater than or equal to 1000
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6779-6792	If a process is an instance of land subsidence and an object is a patient of the process and the object is an instance of land area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the object, then there exists an entity such that the entity the unit of measure(s) is an elevation of the object and the entity is less than the real number holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2104-2113	If a physical is an instance of speaking a short utterance and another physical is an instance of speaking a long utterance and an unit of measure is an instance of unit of duration and duration of the time of existence of the physical is a real number the unit of measure(s) and duration of the time of existence 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.	Geography.kif 7068-7082	If a process is an instance of sublimation and an entity is a patient of the process and the measure of the entity is a real number joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another real number joule(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.	Merge.kif 13885-13900	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a boiling point of a kind of pure substance and another real number the unit of measure(s) is a melting point of the kind of pure substance and the unit of measure is an instance of unit of temperature and the measure of the entity is a third real number the unit of measure(s) holds during a time interval and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13902-13915	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a melting point of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is less than the real number, then solid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of freezing and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2855-2866	If an object is an instance of brackish water and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the real number is greater than 0.5 and the real number is less than or equal to 30.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2836-2845	If an object is an instance of sea water and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the approximate value of the real number is 35.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1394-1401	If a water area is an instance of surf zone and significantWaveHeight in the water area during the time of existence of the water area is a real number foot length(s). and the real number is greater than 8.0, then red flag swimming condition is an attribute of the water area
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