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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CultivatedLandArea
CultivatedLandArea(耕地面積)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8135-8136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8134-8134 子類 耕地面積 and LandArea

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3668-3668 範圍子類 FarmOfProductFn and 耕地面積
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8150-8150 子類 園林 and 耕地面積
No TPTP formula. May not be expressible in strict first order. Food.kif 3651-3651 子類 Orchard and 耕地面積
No TPTP formula. May not be expressible in strict first order. Food.kif 3684-3684 子類 Vineyard and 耕地面積
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18006-18006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18005-18005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18004-18004

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8166-8166 栽種於, 2 and 耕地面積

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8138-8143


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