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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralAfricanRepublic

Sigma KEE - CentralAfricanRepublic
CentralAfricanRepublic

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3061-3061 currencyType CentralAfricanRepublic and CentralAfricanRepublicFranc
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1208-1208
No TPTP formula. May not be expressible in strict first order. Economy.kif 630-630 economyType CentralAfricanRepublic and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 246-246 economyType CentralAfricanRepublic and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 333-333
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 87-87 geographicSubregion CentralAfricanRepublic and CentralAfrica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 88-88 CentralAfricanRepublic est une instance de nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2604-2604 geographicSubregion BanguiCentralAfricanRepublic and CentralAfricanRepublic
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3932-3932 CentralAfricanRepublic s'appele nom "Central African Republic"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13776-13776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13775-13775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13774-13774

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2673-2673 codeMapping ISO-3166-1-alpha-2, "CF" and CentralAfricanRepublic


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