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 language)

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 language is a subclass of spoken human language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14234-14234 Ket language is an instance of yenisei ostyak language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14248-14248 Yugh language is an instance of yenisei ostyak language
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