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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BerberLanguage

 Sigma KEE - BerberLanguage
BerberLanguage(柏柏爾語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4609-4610
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9907-9907
No TPTP formula. May not be expressible in strict first order. Languages.kif 4608-4608 子類 柏柏爾語言 and 非洲亞洲語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4614-4614 子類 東伯爾伯語 and 柏柏爾語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 4657-4657 子類 guanache集團的語言 and 柏柏爾語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 4937-4937 子類 tamasheq集團的語言 and 柏柏爾語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 5038-5038 子類 zenaga集團的語言 and 柏柏爾語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10769-10769
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10768-10768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10767-10767


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