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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MzabWarglaLanguage

Sigma KEE - MzabWarglaLanguage
MzabWarglaLanguage(mzab wargla 语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4830-4831
No TPTP formula. May not be expressible in strict first order. Languages.kif 4829-4829 Mzab wargla 语泽纳蒂语subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4858-4858 Tagargrent语言mzab wargla 语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 4834-4834 Taznatit语言mzab wargla 语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 4869-4869 特马辛他莫济特语mzab wargla 语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 4845-4845 Tumzabt语言mzab wargla 语instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39549-39549
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39548-39548
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39547-39547


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