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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SemiticLanguage

 Sigma KEE - SemiticLanguage
SemiticLanguage(Semitic language)Akkadian, Aramaic, Assyrian, Assyrian_Akkadian, Assyrian_Neo-Aramaic, Biblical_Aramaic, Canaanite, Canaanitic, Canaanitic_language, Mandaean, Mandean, Phoenician, Punic, Semitic, Ugaritic

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14562-14567
No TPTP formula. May not be expressible in strict first order. Languages.kif 14561-14561 Semitic language is a subclass of afro asiatic language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14654-14654 Maltese language is an instance of Semitic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14569-14569 South Semitic language is a subclass of Semitic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14573-14573 West semitic language is a subclass of Semitic language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65471-65471


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