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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Colombia

Sigma KEE - Colombia
Colombia
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3077-3077 currencyType Colombia and ColombianPeso
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1215-1215
No TPTP formula. May not be expressible in strict first order. Economy.kif 634-634 economyType Colombia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 250-250 economyType Colombia and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 358-358
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5226-5226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5113-5113
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5230-5230
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5227-5227
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5229-5229
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 503-503 geographicSubregion Colombia and NorthernSouthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 504-504 Colombia est une instance de nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2610-2610 geographicSubregion BarrancabermejaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2663-2663 geographicSubregion BogotaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2678-2678 geographicSubregion BucaramangaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2697-2697 geographicSubregion CaliColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2707-2707 geographicSubregion CarmenDeBolivarColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2709-2709 geographicSubregion CarrejonColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2727-2727 geographicSubregion ChocoColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2738-2738 geographicSubregion ColombiaCityColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2756-2756 geographicSubregion CundiNamarcaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2758-2758 geographicSubregion CupiaguaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2821-2821 geographicSubregion ElBagreColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2825-2825 geographicSubregion ElPlayonColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2845-2845 geographicSubregion FormequeColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2853-2853 geographicSubregion FusagasusaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3099-3099 geographicSubregion LaGuajiraColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3146-3146 geographicSubregion LosKatiosNationalParkColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3168-3168 geographicSubregion MagdalenaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3218-3218 geographicSubregion MedellinColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3228-3228 geographicSubregion MetaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3243-3243 geographicSubregion MituColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3270-3270 geographicSubregion MutataColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3322-3322 geographicSubregion NorteDeSantanderColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3346-3346 geographicSubregion OlayaHerreraColombia and Colombia
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 3401-3401 geographicSubregion PuertoAlviraColombia and Colombia

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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


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