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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SahuGroupLanguage

 Sigma KEE - SahuGroupLanguage
SahuGroupLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13894-13895
No TPTP formula. May not be expressible in strict first order. Languages.kif 13893-13893 SahuGroupLanguage e' uma sub-classe de NorthernNorthHalmaheraLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13898-13898 GamkonoraLanguage e' uma instancia de SahuGroupLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13907-13907 IbuLanguage e' uma instancia de SahuGroupLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13916-13916 SahuLanguage e' uma instancia de SahuGroupLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13928-13928 WaioliLanguage e' uma instancia de SahuGroupLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50789-50789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50788-50788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50787-50787


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