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 5992-5994
No TPTP formula. May not be expressible in strict first order. Merge.kif 5990-5990 UnitOfLength is a subclass of NonCompositeUnitOfMeasure

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6933-6933 Angstrom is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6540-6540 Centimeter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Geography.kif 3742-3742 Fathom is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6947-6947 Foot length is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6955-6955 Inch is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6559-6559 Kilometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6455-6455 Meter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Geography.kif 6688-6688 Micrometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6962-6962 Mile is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6552-6552 Millimeter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18405-18405 Nanometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Geography.kif 3757-3757 Nautical mile is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18394-18394 Yard length is an instance of UnitOfLength

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Geography.kif 1917-1925
No TPTP formula. May not be expressible in strict first order. Merge.kif 6101-6105
No TPTP formula. May not be expressible in strict first order. Geography.kif 1935-1949
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. Mid-level-ontology.kif 4413-4423
No TPTP formula. May not be expressible in strict first order. Cars.kif 777-792
No TPTP formula. May not be expressible in strict first order. Cars.kif 1943-1965
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1354-1372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1333-1350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1270-1293
No TPTP formula. May not be expressible in strict first order. Food.kif 610-619
No TPTP formula. May not be expressible in strict first order. Geography.kif 6376-6389
No TPTP formula. May not be expressible in strict first order. Geography.kif 6070-6079
No TPTP formula. May not be expressible in strict first order. Transportation.kif 587-592
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 2674-2680
No TPTP formula. May not be expressible in strict first order. Geography.kif 4109-4119
No TPTP formula. May not be expressible in strict first order. Geography.kif 4068-4078
No TPTP formula. May not be expressible in strict first order. Geography.kif 3861-3872
No TPTP formula. May not be expressible in strict first order. Geography.kif 4093-4103
No TPTP formula. May not be expressible in strict first order. Transportation.kif 191-199
No TPTP formula. May not be expressible in strict first order. Transportation.kif 219-227
No TPTP formula. May not be expressible in strict first order. Transportation.kif 577-585
No TPTP formula. May not be expressible in strict first order. Transportation.kif 246-254

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7523-7531 An object is larger than another object if and only if for all a real number, another real number and an unit of measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16975-16990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23217-23232
No TPTP formula. May not be expressible in strict first order. Geography.kif 4769-4785
No TPTP formula. May not be expressible in strict first order. emotion.kif 1401-1419
No TPTP formula. May not be expressible in strict first order. emotion.kif 1435-1453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16600-16615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2755-2768
No TPTP formula. May not be expressible in strict first order. Economy.kif 4903-4922
No TPTP formula. May not be expressible in strict first order. Geography.kif 3969-3980


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