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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasternRomanceLanguage

Sigma KEE - EasternRomanceLanguage
EasternRomanceLanguage(东方浪漫语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9387-9388
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8461-8461
No TPTP formula. May not be expressible in strict first order. Languages.kif 9386-9386 东方浪漫语言浪漫语言subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9391-9391 Istro罗马尼亚语东方浪漫语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9401-9401 马其顿罗马尼亚语东方浪漫语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9449-9449 Megleno罗马尼亚语东方浪漫语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14655-14655 MoldovanLanguage东方浪漫语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9458-9458 罗马尼亚语东方浪漫语言instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20940-20940
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20939-20939
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20938-20938


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