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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RomanianLanguage

 Sigma KEE - RomanianLanguage
RomanianLanguage(罗马尼亚语)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9459-9498
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7762-7762
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7763-7763
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6830-6830
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7764-7764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7765-7765
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7760-7760
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7766-7766
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7767-7767
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7768-7768
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7761-7761
No TPTP formula. May not be expressible in strict first order. Languages.kif 9458-9458 罗马尼亚语 是 东方浪漫语言 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50360-50360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50359-50359
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50358-50358

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14794-14794 "ro" 在 ISO-639-1 denotes 罗马尼亚语


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