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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfArea

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 6178-6180
No TPTP formula. May not be expressible in strict first order. Merge.kif 6176-6176 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 13155-13155 Acre is an instance of UnitOfArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13090-13090 SquareFoot 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 3875-3875 Square meter is an instance of UnitOfArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13158-13158 Square mile is an instance of UnitOfArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13168-13168 Square yard is an instance of UnitOfArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2095-2109
No TPTP formula. May not be expressible in strict first order. Geography.kif 666-676
No TPTP formula. May not be expressible in strict first order. Merge.kif 6274-6278
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 2218-2228
No TPTP formula. May not be expressible in strict first order. Geography.kif 2242-2252
No TPTP formula. May not be expressible in strict first order. Geography.kif 2230-2240
No TPTP formula. May not be expressible in strict first order. Geography.kif 2168-2179
No TPTP formula. May not be expressible in strict first order. Geography.kif 2181-2199
No TPTP formula. May not be expressible in strict first order. Geography.kif 2128-2139
No TPTP formula. May not be expressible in strict first order. Geography.kif 2141-2155

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1164-1179


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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