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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfArea
UnitOfArea(unit of area)

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 6299-6301
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1097-1098
No TPTP formula. May not be expressible in strict first order. Merge.kif 6297-6297 Unit of area is a subclass of composite unit of measure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15060-15060 Acre is an instance of unit of area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14984-14984 Square foot is an instance of unit of area
No TPTP formula. May not be expressible in strict first order. Geography.kif 783-783 Square kilometer is an instance of unit of area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4204-4204 Square meter is an instance of unit of area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15071-15071 Square mile is an instance of unit of area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4209-4209 Square millimeter is an instance of unit of area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15077-15077 Square yard is an instance of unit of area
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65646-65646 Square yard is an instance of unit of area

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33669-33669 The number 3 argument of population density is an instance of unit of area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2250-2264
No TPTP formula. May not be expressible in strict first order. Geography.kif 825-835
No TPTP formula. May not be expressible in strict first order. Merge.kif 6395-6399
No TPTP formula. May not be expressible in strict first order. Geography.kif 725-730
No TPTP formula. May not be expressible in strict first order. Geography.kif 2373-2383
No TPTP formula. May not be expressible in strict first order. Geography.kif 2397-2407
No TPTP formula. May not be expressible in strict first order. Geography.kif 2385-2395
No TPTP formula. May not be expressible in strict first order. Geography.kif 2323-2334
No TPTP formula. May not be expressible in strict first order. Geography.kif 2336-2354
No TPTP formula. May not be expressible in strict first order. Geography.kif 2283-2294
No TPTP formula. May not be expressible in strict first order. Geography.kif 2296-2310

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1194-1209


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