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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TotonacGroupLanguage

Sigma KEE - TotonacGroupLanguage
TotonacGroupLanguage(totonac集团语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13367-13368
No TPTP formula. May not be expressible in strict first order. Languages.kif 13366-13366 Totonac集团语言托博纳坎语subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13371-13371 Coyutla totonacatotonac集团语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13380-13380 Filomeno mata coahuitlan totonaca 语言totonac集团语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13390-13390 Ozumatlan totonaca 语totonac集团语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13400-13400 Papantla totonaca 语totonac集团语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13411-13411 Patla chicontla totonaca 语totonac集团语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13421-13421 Sierra totonaca 语totonac集团语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13432-13432 西托佩克·德·华雷斯·托纳卡语totonac集团语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13445-13445 耶库特拉·托托纳卡语totonac集团语言instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58622-58622
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58621-58621
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58620-58620


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