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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 土地形式 是 地理区域 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5841-5841 群岛 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4243-4243 盆地 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4172-4172 孤山 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4259-4259 峡谷 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5807-5807 披肩 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6048-6048 洞穴矩阵 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5776-5776 三角洲 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5998-5998 冰川 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4043-4043 爬坡道 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 3984-3984 低地地区 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4154-4154 台面 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4026-4026 山 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4012-4012 山脉 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5793-5793 半岛 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4135-4135 高原 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5937-5937 礁 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5757-5757 河岸 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6120-6120 海岸 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5911-5911 浅滩 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4101-4101 倾斜的区域 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 3980-3980 高地地区 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4226-4226 谷 是 土地形式 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4057-4057 火山 是 土地形式 的 subclass
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 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