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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PortugueseGalicianLanguage
PortugueseGalicianLanguage(portuguese galician language)
portuguese_galician_language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10449-10450
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10219-10219 "http://upload.wikimedia.org/wikipedia/commons/4/49/ Percentage_of_Galician_speakers_%28corrected%29.PNG" is a URL depicting portuguese galician language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11674-11674 "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Bay_of_Biscay_map.png" is a URL depicting portuguese galician language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11673-11673 "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Galician_vowel_chart.png" is a URL depicting portuguese galician language
No TPTP formula. May not be expressible in strict first order. Languages.kif 10448-10448 Portuguese galician language is a subclass of west iberian language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10453-10453 Fala language is an instance of portuguese galician language
No TPTP formula. May not be expressible in strict first order. Languages.kif 10471-10471 Galician language is an instance of portuguese galician language
No TPTP formula. May not be expressible in strict first order. Languages.kif 10495-10495 Portuguese language is an instance of portuguese galician language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8220-8220 "portuguese galician language" is the printable form of portuguese galician language in english 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners