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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plateau
Plateau(高原)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4137-4138
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 731-731
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 732-732
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1215-1215
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 730-730
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 4136-4136 子類 高原 and 高地地區

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46224-46224
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46223-46223
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46222-46222

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4140-4144
No TPTP formula. May not be expressible in strict first order. Geography.kif 4146-4152


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