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

Formal Language: 



KB Term:  Term intersection
English Word: 

  treatmentGroup
  EasternSudanicLanguage

Sigma KEE - EasternSudanicLanguage
EasternSudanicLanguage(东苏丹语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12472-12473
No TPTP formula. May not be expressible in strict first order. Languages.kif 12471-12471 东苏丹语nilo撒哈拉语言subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12477-12477 西苏丹语东苏丹语subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20952-20952
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20951-20951
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20950-20950


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