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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 7618-7618
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7619-7619
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7620-7620
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7621-7621
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6782-6782
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7623-7623
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 46815-46815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46814-46814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46813-46813

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14788-14788 "pt" in ISO_639_1 denotes portuguese 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