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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaibaiGroupLanguage

 Sigma KEE - BaibaiGroupLanguage
BaibaiGroupLanguage(baibai group language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11660-11661
No TPTP formula. May not be expressible in strict first order. Languages.kif 11659-11659 Baibai group language is a subclass of kiowa tanoan language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11664-11664 Baibai language is an instance of baibai group language
No TPTP formula. May not be expressible in strict first order. Languages.kif 11670-11670 Nai language is an instance of baibai group language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9600-9600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9599-9599
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9598-9598


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