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 萨胡语言 是 北部北哈马拉语 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13898-13898 Gamkonora语言 是 萨胡语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13907-13907 Ibu语言 是 萨胡语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13916-13916 萨胡语 是 萨胡语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13928-13928 Waioli语言 是 萨胡语言 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50787-50787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50786-50786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50785-50785


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