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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UplandArea

Sigma KEE - UplandArea
UplandArea(高地地区)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3981-3982
No TPTP formula. May not be expressible in strict first order. Geography.kif 3980-3980 高地地区土地形式subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4171-4171 孤山高地地区subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4044-4044 爬坡道高地地区subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4155-4155 台面高地地区subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4027-4027 高地地区subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4013-4013 山脉高地地区subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4136-4136 高原高地地区subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4093-4093 分水岭高地地区subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60620-60620
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60619-60619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60618-60618

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1797-1799


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