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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PolabianLanguage

 Sigma KEE - PolabianLanguage
PolabianLanguage(极地语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11058-11060
No TPTP formula. May not be expressible in strict first order. Languages.kif 11057-11057 极地语言 是 lechitic语言 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46370-46370
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46369-46369
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46368-46368


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