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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandForm

 Sigma KEE - LandForm
LandForm(土地形式)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3976-3978
No TPTP formula. May not be expressible in strict first order. Geography.kif 3975-3975 子類 土地形式 and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5841-5841 子類 群島 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4243-4243 子類 盆地 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4172-4172 子類 孤山 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4259-4259 子類 峽谷 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 5807-5807 子類 披肩 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 6048-6048 子類 洞穴矩陣 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 5776-5776 子類 三角洲 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 5998-5998 子類 冰川 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4043-4043 子類 爬坡道 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 3984-3984 子類 低地地區 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4154-4154 子類 檯面 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4026-4026 子類 山 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4012-4012 子類 山脈 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 5793-5793 子類 半島 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4135-4135 子類 高原 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 5937-5937 子類 礁 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 5757-5757 子類 河岸 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 6120-6120 子類 海岸 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 5911-5911 子類 淺灘 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4101-4101 子類 傾斜的區域 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 3980-3980 子類 高地地區 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4226-4226 子類 谷 and 土地形式
No TPTP formula. May not be expressible in strict first order. Geography.kif 4057-4057 子類 火山 and 土地形式
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33217-33217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33216-33216

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1922-1930
No TPTP formula. May not be expressible in strict first order. Geography.kif 2689-2702

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5920-5927
No TPTP formula. May not be expressible in strict first order. Geography.kif 2682-2687


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