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 子類 高地地區 and 土地形式

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4171-4171 子類 孤山 and 高地地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 4044-4044 子類 爬坡道 and 高地地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 4155-4155 子類 檯面 and 高地地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 4027-4027 子類 山 and 高地地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 4013-4013 子類 山脈 and 高地地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 4136-4136 子類 高原 and 高地地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 4093-4093 子類 分水嶺 and 高地地區
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