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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7080-7080 Angstrom is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6687-6687 Centimeter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Geography.kif 3762-3762 Fathom is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 7094-7094 Foot length is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 7102-7102 Inch is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6706-6706 Kilometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6602-6602 Meter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Geography.kif 6779-6779 Micrometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 7109-7109 Mile is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Merge.kif 6699-6699 Millimeter is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18516-18516 Nanometer is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Geography.kif 3777-3777 Nautical mile is an instance of UnitOfLength
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18505-18505 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 1925-1933
No TPTP formula. May not be expressible in strict first order. Merge.kif 6270-6274
No TPTP formula. May not be expressible in strict first order. Geography.kif 1943-1957
No TPTP formula. May not be expressible in strict first order. Geography.kif 919-923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4448-4458
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 1383-1401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1362-1379
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1299-1322
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 6467-6480
No TPTP formula. May not be expressible in strict first order. Geography.kif 6161-6170
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 925-929
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2666-2672
No TPTP formula. May not be expressible in strict first order. Geography.kif 4169-4179
No TPTP formula. May not be expressible in strict first order. Geography.kif 4128-4138
No TPTP formula. May not be expressible in strict first order. Geography.kif 3921-3932
No TPTP formula. May not be expressible in strict first order. Geography.kif 4153-4163
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 7670-7678 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 17079-17094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23354-23369
No TPTP formula. May not be expressible in strict first order. Geography.kif 4856-4874
No TPTP formula. May not be expressible in strict first order. emotion.kif 1393-1411
No TPTP formula. May not be expressible in strict first order. emotion.kif 1427-1445
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16702-16717
No TPTP formula. May not be expressible in strict first order. Weather.kif 1531-1546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2784-2797
No TPTP formula. May not be expressible in strict first order. Economy.kif 5058-5077
No TPTP formula. May not be expressible in strict first order. Geography.kif 4029-4040


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