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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CultivatedLandArea

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 耕地面积土地面积subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3668-3668 FarmOfProductFn 的所得值 是 耕地面积subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8150-8150 园林耕地面积subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3651-3651 Orchard耕地面积subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3684-3684 Vineyard耕地面积subclass
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 数量 是 耕地面积instance

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


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


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