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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Permafrost

 Sigma KEE - Permafrost
Permafrost(永久冻土)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6759-6759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7518-7518
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7519-7519
No TPTP formula. May not be expressible in strict first order. Geography.kif 2429-2429 永久冻土 是 复合物质 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45222-45222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45221-45221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45220-45220


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