Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfLength
UnitOfLength(unit of length)

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 6259-6261
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1088-1090
No TPTP formula. May not be expressible in strict first order. Merge.kif 6257-6257 Unit of length is a subclass of non composite unit of measure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7193-7193 Angstrom is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 6785-6785 Centimeter is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Geography.kif 3921-3921 Fathom is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 7211-7211 Foot length is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 7219-7219 Inch is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 6804-6804 Kilometer is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 6700-6700 Meter is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Geography.kif 7257-7257 Micrometer is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 7226-7226 Mile is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 6797-6797 Millimeter is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20652-20652 Nanometer is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Geography.kif 3936-3936 Nautical mile is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20641-20641 Yard length is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65652-65652 Yard length is an instance of unit of length

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19519-19530
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. Mid-level-ontology.kif 27364-27376
No TPTP formula. May not be expressible in strict first order. Geography.kif 1910-1918
No TPTP formula. May not be expressible in strict first order. Merge.kif 6368-6372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27455-27469
No TPTP formula. May not be expressible in strict first order. Geography.kif 1928-1942
No TPTP formula. May not be expressible in strict first order. Geography.kif 907-911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5143-5153
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 1927-1949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1634-1653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1612-1630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1549-1572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27323-27338
No TPTP formula. May not be expressible in strict first order. Food.kif 2639-2648
No TPTP formula. May not be expressible in strict first order. Geography.kif 6945-6958
No TPTP formula. May not be expressible in strict first order. Geography.kif 6392-6401
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 913-917
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3198-3204
No TPTP formula. May not be expressible in strict first order. Geography.kif 4317-4327
No TPTP formula. May not be expressible in strict first order. Geography.kif 4276-4286
No TPTP formula. May not be expressible in strict first order. Geography.kif 4069-4080
No TPTP formula. May not be expressible in strict first order. Geography.kif 4301-4311

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 7828-7836 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 19136-19151
No TPTP formula. May not be expressible in strict first order. Food.kif 1084-1089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25453-25468
No TPTP formula. May not be expressible in strict first order. Geography.kif 5054-5072
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 18635-18650
No TPTP formula. May not be expressible in strict first order. Weather.kif 2048-2063
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3245-3258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3266-3279
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3286-3299
No TPTP formula. May not be expressible in strict first order. Economy.kif 6415-6434
No TPTP formula. May not be expressible in strict first order. Geography.kif 4177-4188


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