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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EastMiddleGermanLanguage

Sigma KEE - EastMiddleGermanLanguage
EastMiddleGermanLanguage(東中德語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7738-7738 子類 東中德語 and 中德語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7743-7743 德國的語言 and 東中德語
No TPTP formula. May not be expressible in strict first order. Languages.kif 7803-7803 較低的西里西亞語 and 東中德語
No TPTP formula. May not be expressible in strict first order. Languages.kif 7817-7817 上西里西亞語 and 東中德語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20994-20994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20993-20993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20992-20992


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