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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PortugueseLanguage

Sigma KEE - PortugueseLanguage
PortugueseLanguage(portuguese language)
more pictures...
Portuguese, portuguese_language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10496-10531
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7621-7621 "http://upload.wikimedia.org/wikipedia/commons/0/04/ Portugueselanguagedialects-Brazil.png" is a URL depicting portuguese language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7622-7622 "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Portuguese_vowel_chart.png" is a URL depicting portuguese language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7623-7623 "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Portugueselanguagedialects-Portugal.png" is a URL depicting portuguese language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7624-7624 "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Map-Lusophone_World-en.png" is a URL depicting portuguese language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6784-6784 "http://upload.wikimedia.org/wikipedia/commons/d/d7/ Esta%C3%A7%C3%A3o_da_Luz.jpg" is a URL depicting portuguese language
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7626-7626 "http://upload.wikimedia.org/wikipedia/commons/d/df/ Portugueselanguagedialects-Angola.png" is a URL depicting portuguese language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 369-369
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 97-97
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 149-149
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 98-98
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 414-414
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 370-370
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 245-245
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 371-371
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 420-420
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 223-223
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 372-372
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 347-347
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 368-368
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 281-281
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 214-214

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8221-8221 "portuguese language" is the printable form of portuguese language in english language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14766-14766 "pt" in ISO-639-1 denotes portuguese language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners