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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfArea
UnitOfArea

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2410-2411
No TPTP formula. May not be expressible in strict first order. Merge.kif 5840-5842
No TPTP formula. May not be expressible in strict first order. Merge.kif 5838-5838 UnitOfArea is a subclass of CompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11277-11277 Acre is an instance of UnitOfArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 620-620 Square kilometer is an instance of UnitOfArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 3745-3745 Square meter is an instance of UnitOfArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11280-11280 Square mile is an instance of UnitOfArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11290-11290 Square yard is an instance of UnitOfArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2040-2047
No TPTP formula. May not be expressible in strict first order. Geography.kif 2049-2059
No TPTP formula. May not be expressible in strict first order. Geography.kif 658-668
No TPTP formula. May not be expressible in strict first order. Merge.kif 5936-5940
No TPTP formula. May not be expressible in strict first order. Geography.kif 562-567
No TPTP formula. May not be expressible in strict first order. Geography.kif 2188-2196
No TPTP formula. May not be expressible in strict first order. Geography.kif 2180-2186
No TPTP formula. May not be expressible in strict first order. Geography.kif 2130-2137
No TPTP formula. May not be expressible in strict first order. Geography.kif 2139-2151
No TPTP formula. May not be expressible in strict first order. Geography.kif 2088-2095
No TPTP formula. May not be expressible in strict first order. Geography.kif 2097-2107


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners