No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13818	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a boiling point of the kind of pure substance and another real number kelvin degree(s) is a melting point of the kind of pure substance and the measure of the object is a third real number kelvin degree(s) 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 object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a melting point of the kind of pure substance and another real number inch mercury(s) is a barometric pressure of the object and the other real number is greater than 29.92 and the measure of the object is a third real number kelvin degree(s) and the third real number is less than the real number, then solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8690-8697	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and the other integer is greater than the integer, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8699-8704	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and the other integer is greater than the integer, then the time interval happens earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 191-199	If a real number an unit of measure(s) is a length of broad gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of broad gauge railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 219-227	If a real number an unit of measure(s) is a length of dual gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of dual gauge railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 135-143	If a real number mile(s) is a length of electrified railway of a geographic area and the real number is greater than 0, then there exists a physical such that the physical is an instance of electrified railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 577-585	If a real number an unit of measure(s) is a length of expressway system of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of expressway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 163-171	If a real number mile(s) is a length of multiple track railway of a geographic area and the real number is greater than 0, then there exists a physical such that the physical is an instance of multiple track railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 246-254	If a real number an unit of measure(s) is a length of narrow gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of narrow gauge railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 551-559	If a real number an unit of measure(s) is a length of paved highway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of surfaced roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 274-282	If a real number an unit of measure(s) is a length of standard gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of standard gauge railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 308-316	If a real number an unit of measure(s) is a length of unclassified gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 610-618	If a real number an unit of measure(s) is a length of unpaved highway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of unsurfaced roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	If the measure of an object is a real number lumen(s) and the measure of another object is another real number lumen(s) and the object is a part of a third object and the other object is a part of the third object and the object is not equal to the other object and the real number is greater than the other real number and the real number and the other real number is equal to a third real number and the contrast ratio of the third object is the third real number, then there don't exist a fourth object, a fifth object,, , a fourth real number and a fifth real number such that the measure of the fourth object is the fourth real number lumen(s) and the measure of the fifth object is the fifth real number lumen(s) and the fourth object is a part of the third object and the fifth object is a part of the third object and the fourth object is not equal to the fifth object and the fourth real number is greater than the fifth real number and the fourth real number and the fifth real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2653-2658	If a real number meter(s) is a navigable for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is greater than the other real number, then the water area is capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0.0, then the object is not located at the other object
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of nation and the process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the process, then legal is an attribute of the agreement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11082-11092	If an object is path along which a motion occurs and the motion originates at another object and the motion ends up at a third object and the length of the object is a real number an unit of measure(s) and the distance between the other object and the third object is another real number the unit of measure(s) and the real number is not greater than the other real number and a fourth object is a part of the object, then the fourth object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14624-14638	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	If the top speed of a vehicle is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure and an entity is an instance of unit of length and another entity is an instance of unit of duration and another real number is equal to the probability of the measure of the vehicle is a length measure the entity(s) per a time duration the other entity(s) and a third real number is equal to the probability of the measure of the vehicle is another length measure the entity(s) per another time duration the other entity(s) and the length measure per the time duration is greater than the real number and the real number is greater than the other length measure per the other time duration, then the third real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1482-1491	If a geographic area is total facility type in area the class corresponding to airport with unpaved runway for a nonnegative integer and the nonnegative integer is greater than 0, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of unpaved runway and the other object is a part of the object and the object is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 493-501	If a real number an unit of measure(s) is a total length of highway system of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 107-115	If a real number mile(s) is a total length of railway system of a geographic area and the real number is greater than 0, then there exists a physical such that the physical is an instance of railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 665-673	If a real number an unit of measure(s) is a total length of waterways of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of waterway and the physical is located at the geographic 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