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
No TPTP formula. May not be expressible in strict first order. Merge.kif 6043-6047
No TPTP formula. May not be expressible in strict first order. Geography.kif 911-915
No TPTP formula. May not be expressible in strict first order. Geography.kif 917-921
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2645-2651
No TPTP formula. May not be expressible in strict first order. Transportation.kif 188-196
No TPTP formula. May not be expressible in strict first order. Transportation.kif 216-224
No TPTP formula. May not be expressible in strict first order. Transportation.kif 567-575
No TPTP formula. May not be expressible in strict first order. Transportation.kif 243-251
No TPTP formula. May not be expressible in strict first order. Transportation.kif 541-549
No TPTP formula. May not be expressible in strict first order. Transportation.kif 271-279
No TPTP formula. May not be expressible in strict first order. Transportation.kif 305-313
No TPTP formula. May not be expressible in strict first order. Transportation.kif 599-607
No TPTP formula. May not be expressible in strict first order. Transportation.kif 487-495
No TPTP formula. May not be expressible in strict first order. Transportation.kif 504-511
No TPTP formula. May not be expressible in strict first order. Transportation.kif 654-662
No TPTP formula. May not be expressible in strict first order. Transportation.kif 683-691

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


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