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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PortugueseLanguage

 Sigma KEE - PortugueseLanguage
PortugueseLanguage
more pictures...

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 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 7622-7622
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6783-6783
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7624-7624
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 46784-46784
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46783-46783
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46782-46782

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14788-14788 codeMapping ISO-639-1, "pt" and PortugueseLanguage


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