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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RomanianLanguage
RomanianLanguage(romanian language)
more pictures...		Romanian, Rumanian

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 Romanian language is an instance of eastern romance language

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" in ISO-639-1 denotes romanian language


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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