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 7198-7198
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 7197-7197 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 37523-37523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37522-37522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37521-37521

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 295-302
No TPTP formula. May not be expressible in strict first order. Sports.kif 281-288
No TPTP formula. May not be expressible in strict first order. Transportation.kif 135-143
No TPTP formula. May not be expressible in strict first order. Transportation.kif 163-171
No TPTP formula. May not be expressible in strict first order. Transportation.kif 107-115

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
No TPTP formula. May not be expressible in strict first order. Geography.kif 3877-3883
No TPTP formula. May not be expressible in strict first order. Geography.kif 3912-3919
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 773-776

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2793-2793 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 13696-13700 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 7200-7202 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