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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - formerName
formerName

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


(documentation formerName EnglishLanguage "(formerName ?NAME ?THING) means that the string ?NAME is a name formerly used for ?THING.") Mid-level-ontology.kif 14716-14717
(instance formerName BinaryPredicate) Mid-level-ontology.kif 14719-14719 former name is an instance of binary predicate
(subrelation formerName names) Mid-level-ontology.kif 14718-14718 former name is a subrelation of names

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


(format ChineseLanguage formerName "%1 是对于 %2 的 former name ") domainEnglishFormat.kif 3478-3478
(format ChineseTraditionalLanguage formerName "%1 是對於 %2 的 former name ") domainEnglishFormat.kif 3477-3477
(format EnglishLanguage formerName "%1 is a former name for %2") domainEnglishFormat.kif 3476-3476
(termFormat ChineseLanguage formerName "以前的名字") domainEnglishFormat.kif 24746-24746
(termFormat ChineseTraditionalLanguage formerName "以前的名字") domainEnglishFormat.kif 24745-24745
(termFormat EnglishLanguage formerName "former name") domainEnglishFormat.kif 24744-24744

appearance as argument number 0
-------------------------


(formerName "AG" AndeanCommunityOfNations) Government.kif 2786-2786 "AG" is a former name for andean community of nations
(formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) Government.kif 2764-2764 "Agency for Cultural and Technical Cooperation" is a former name for agency for the french speaking community
(formerName "Ancom" AndeanCommunityOfNations) Government.kif 2789-2789 "Ancom" is a former name for andean community of nations
(formerName "Andean Common Market" AndeanCommunityOfNations) Government.kif 2788-2788 "Andean Common Market" is a former name for andean community of nations
(formerName "Andean Parliament" AndeanCommunityOfNations) Government.kif 2787-2787 "Andean Parliament" is a former name for andean community of nations
(formerName "AndeanGroup" AndeanCommunityOfNations) Government.kif 2785-2785 "AndeanGroup" is a former name for andean community of nations
(formerName "Burma" Myanmar) CountriesAndRegions.kif 602-602 "Burma" is a former name for myanmar
(formerName "CSCE" OrganizationForSecurityAndCooperationInEurope) Government.kif 3713-3713 "CSCE" is a former name for organization for security and cooperation in europe
(formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) Government.kif 3648-3648 "Central African Customs and Economic Union" is a former name for monetary and economic community of central africa
(formerName "Conference on Security and Cooperation in Europe" OrganizationForSecurityAndCooperationInEurope) Government.kif 3712-3712 "Conference on Security and Cooperation in Europe" is a former name for organization for security and cooperation in europe
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) Government.kif 3238-3238 "Conseil Europeenne pour la Recherche Nucleaire" is a former name for european organization for nuclear research
(formerName "Ellice Islands" Tuvalu) CountriesAndRegions.kif 4226-4226 "Ellice Islands" is a former name for tuvalu
(formerName "First World" DevelopedCountry) Economy.kif 127-127 "First World" is a former name for developed country
(formerName "Gilbert Islands" Kiribati) CountriesAndRegions.kif 4207-4207 "Gilbert Islands" is a former name for kiribati
(formerName "Grupo de los Ocho" RioGroup) Government.kif 3823-3823 "Grupo de los Ocho" is a former name for rio group
(formerName "Habitat" UnitedNationsCenterForHumanSettlements) Government.kif 3971-3971 "Habitat" is a former name for united nations center for human settlements
(formerName "Hexagonal Initiative" CentralEuropeanInitiative) Government.kif 2964-2964 "Hexagonal Initiative" is a former name for central european initiative
(formerName "ICEM" InternationalOrganizationForMigration) Government.kif 3584-3584 "ICEM" is a former name for international organization for migration
(formerName "ICM" InternationalOrganizationForMigration) Government.kif 3586-3586 "ICM" is a former name for international organization for migration
(formerName "IFCTU" WorldConfederationOfLabor) Government.kif 4328-4328 "IFCTU" is a former name for world confederation of labor
(formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) Government.kif 3393-3393 "IGADD" is a former name for inter governmental authority on development
(formerName "IMCO" InternationalMaritimeOrganization) Government.kif 3554-3554 "IMCO" is a former name for international maritime organization
(formerName "Inter-Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) Government.kif 3392-3392 "Inter-Governmental Authority on Drought and Development" is a former name for inter governmental authority on development
(formerName "Intergovernmental Committee for European Migration" InternationalOrganizationForMigration) Government.kif 3583-3583 "Intergovernmental Committee for European Migration" is a former name for international organization for migration
(formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) Government.kif 3585-3585 "Intergovernmental Committee for Migration" is a former name for international organization for migration

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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