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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - vegetationType
vegetationType

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6185-6186
No TPTP formula. May not be expressible in strict first order. Geography.kif 6188-6188 植被类型 的 1 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6189-6189 植被类型 的 2 数量 是 植物subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6183-6183 植被类型非对称关系instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6182-6182 植被类型二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4918-4918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4917-4917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4916-4916
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61334-61334
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61333-61333
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61332-61332

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6201-6209
No TPTP formula. May not be expressible in strict first order. Geography.kif 6191-6199

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6633-6635
No TPTP formula. May not be expressible in strict first order. Geography.kif 6566-6568
No TPTP formula. May not be expressible in strict first order. Geography.kif 6693-6696
No TPTP formula. May not be expressible in strict first order. Geography.kif 6703-6705
No TPTP formula. May not be expressible in strict first order. Geography.kif 6735-6737
No TPTP formula. May not be expressible in strict first order. Geography.kif 6739-6741
No TPTP formula. May not be expressible in strict first order. Geography.kif 6221-6223

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3585-3585 植物树found北极地区


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