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 6249-6251
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 6247-6247 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 7168-7168 Angstrom is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 6775-6775 Centimeter is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Geography.kif 3840-3840 Fathom is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 7182-7182 Foot length is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 7190-7190 Inch is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 6794-6794 Kilometer is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 6690-6690 Meter is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Geography.kif 7091-7091 Micrometer is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 7197-7197 Mile is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Merge.kif 6787-6787 Millimeter is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19081-19081 Nanometer is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Geography.kif 3855-3855 Nautical mile is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19070-19070 Yard length is an instance of unit of length
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65658-65658

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17948-17959
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 1922-1930
No TPTP formula. May not be expressible in strict first order. Merge.kif 6358-6362
No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954
No TPTP formula. May not be expressible in strict first order. Geography.kif 912-916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4698-4708
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 1417-1436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1395-1413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1332-1355
No TPTP formula. May not be expressible in strict first order. Geography.kif 6779-6792
No TPTP formula. May not be expressible in strict first order. Geography.kif 6259-6268
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 918-922
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2667-2673
No TPTP formula. May not be expressible in strict first order. Geography.kif 4247-4257
No TPTP formula. May not be expressible in strict first order. Geography.kif 4206-4216
No TPTP formula. May not be expressible in strict first order. Geography.kif 3999-4010
No TPTP formula. May not be expressible in strict first order. Geography.kif 4231-4241
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 7758-7766 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 17585-17600
No TPTP formula. May not be expressible in strict first order. Food.kif 1083-1088
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23805-23820
No TPTP formula. May not be expressible in strict first order. Geography.kif 4958-4976
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 17208-17223
No TPTP formula. May not be expressible in strict first order. Weather.kif 1532-1547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2782-2795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2803-2816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2823-2836
No TPTP formula. May not be expressible in strict first order. Economy.kif 6017-6036
No TPTP formula. May not be expressible in strict first order. Geography.kif 4107-4118


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