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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EastZenatiLanguage

 Sigma KEE - EastZenatiLanguage
EastZenatiLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4771-4772
No TPTP formula. May not be expressible in strict first order. Languages.kif 4770-4770 EastZenatiLanguage e' uma sub-classe de ZenatiLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4775-4775 GhadamesLanguage e' uma instancia de EastZenatiLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 4819-4819 GhomaraLanguage e' uma instancia de EastZenatiLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 4783-4783 NafusiLanguage e' uma instancia de EastZenatiLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 4805-4805 SenedLanguage e' uma instancia de EastZenatiLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21030-21030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21029-21029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21028-21028


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