TreeView Knowledge Base Browser - Mile

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Mile

Sigma KEE - Mile

Mile(mile)

international_mile, land_mile, mi, milage, mile, mileage, miler, stat_mi, statute_mile

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2593-2593
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7184-7184
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1302-1302
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7183-7183	Mile is an instance of unit of length

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37538-37538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37537-37537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37536-37536

antecedent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 294-301	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 280-287	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.	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 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 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

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3803-3809	If a physical quantity is equal to a real number nautical mile(s), then the physical quantity is equal to the real number and 1.151 mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3838-3845	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1.151 mile(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 773-776	If a device is an instance of javelin weapon, then 1.5 mile(s) is an effective range of the device

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2790-2790	Ozone shield is 25.0 mile(s) above the ground
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13566-13570	1.0 Square mile(s) is equal to the per of 1.0 mile(s) and 1.0 mile(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7186-7188	A real number mile(s) is equal to the real number and 1609.344 meter(s)

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

Show without tree

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