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

Formal Language: 



KB Term:  Term intersection
English Word: 

  YeniseiOstyakLanguage

Sigma KEE - YeniseiOstyakLanguage
YeniseiOstyakLanguage(yenisei ostyak 語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14230-14232
No TPTP formula. May not be expressible in strict first order. Languages.kif 14229-14229 子類 yenisei ostyak 語 and 口語人類語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14234-14234 酮語 and yenisei ostyak 語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14248-14248 yugh語言 and yenisei ostyak 語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63823-63823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63822-63822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63821-63821


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