UnitOfLength - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - UnitOfLength

UnitOfLength

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2405-2406
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5934-5936
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5932-5932	UnitOfLength is a subclass of NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6864-6864	Angstrom is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6477-6477	Centimeter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3675-3675	Fathom is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6878-6878	Foot length is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6886-6886	Inch is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6496-6496	Kilometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6393-6393	Meter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6429-6429	Micrometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6893-6893	Mile is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6489-6489	Millimeter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16893-16893	Nanometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3690-3690	Nautical mile is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16883-16883	Yard length is an instance of UnitOfLength

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1875-1883	If a real number an unit of measure(s) is an elevation of a self connected object and the unit of measure is an instance of UnitOfLength and the self connected object is an instance of land form, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and sea level is the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6043-6047	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of UnitOfLength, then the physical quantity is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 911-915	If a geographic area is an instance of landlocked area and an unit of measure is an instance of UnitOfLength, then 0 the unit of measure(s) is a total coastline of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 917-921	If an unit of measure is an instance of UnitOfLength and 0 the unit of measure(s) is a total coastline of a geographic area, then the geographic area is an instance of landlocked area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2645-2651	If a water area is an instance of waterway and the depth from a physical to the water area is a real number an unit of measure(s) and the unit of measure is an instance of UnitOfLength and another real number is less than the real number, then the other real number the unit of measure(s) is a navigable for draft of the water area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 188-196	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 UnitOfLength 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 216-224	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 UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of DualGaugeRailway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 567-575	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 UnitOfLength 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 243-251	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 UnitOfLength 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 541-549	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 UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of aced roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 271-279	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 UnitOfLength 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 305-313	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 UnitOfLength 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 599-607	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 UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of UnsurfacedRoadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 487-495	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 UnitOfLength 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 504-511	If a real number an unit of measure(s) is a total length of highway system of a geographic area and the real number1 the unit of measure(s) is a length of paved highway of the geographic area and the real number2 the unit of measure(s) is a length of unpaved highway of the geographic area and the unit of measure is an instance of UnitOfLength, then (the real number1 and the real number2) the unit of measure(s) is a total length of highway system of the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 654-662	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 UnitOfLength 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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 683-691	If a real number an unit of measure(s) is a total pipeline in area of a geographic area and the unit of measure is an instance of UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of pipeline and the physical is located at the geographic area

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 7358-7366

An object is larger than another object if and only if for all a real number, another real number and an unit of measure

if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of UnitOfLength,
then the real number is greater than the other real number

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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