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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Algeria
Algeria

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2949-2949 currencyType Algeria and AlgerianDinar
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1178-1178
No TPTP formula. May not be expressible in strict first order. Economy.kif 616-616 economyType Algeria and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 232-232 economyType Algeria and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 217-217
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 116-116 geographicSubregion Algeria and NorthernAfrica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 117-117 Algeria est une instance de nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2506-2506 geographicSubregion AinDeflaAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2508-2508 geographicSubregion AinElHajarAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2520-2520 geographicSubregion AlgiersAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2556-2556 geographicSubregion ArzewAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2672-2672 geographicSubregion BouiraAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2674-2674 geographicSubregion BouzeGueneAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2901-2901 geographicSubregion HamisMiliyanaAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3061-3061 geographicSubregion KhelilAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3107-3107 geographicSubregion LarbaAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3116-3116 geographicSubregion LesEucalyptusDistrictAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3339-3339 geographicSubregion OilbaseAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3352-3352 geographicSubregion OranAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3564-3564 geographicSubregion TamezGuidaAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3599-3599 geographicSubregion TiaretAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3601-3601 geographicSubregion TiratAlgeria and Algeria
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3946-3946 Algeria s'appele nom "Algeria"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6486-6486
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6485-6485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6484-6484

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


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


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