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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PapayinColombia

 Sigma KEE - PapayinColombia
PapayinColombia
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2188-2188
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5774-5774
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5649-5649
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5776-5776
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5775-5775
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5773-5773
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3379-3379 geographicSubregion PapayinColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2187-2187 PapayinColombia est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3380-3380 PapayinColombia s'appele nom "Papayin"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44280-44280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44279-44279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44278-44278


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