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

Formal Language: 



KB Term:  Term intersection
English Word: 

  YeniseiOstyakLanguage

 Sigma KEE - YeniseiOstyakLanguage
YeniseiOstyakLanguage

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 YeniseiOstyakLanguage est une sous-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14234-14234 KetLanguage est une instance de YeniseiOstyakLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14248-14248 YughLanguage est une instance de YeniseiOstyakLanguage
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