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 14715-14716 | |
(instance formerName BinaryPredicate) | Mid-level-ontology.kif 14718-14718 | former name is an instance of binary predicate |
(subrelation formerName names) | Mid-level-ontology.kif 14717-14717 | 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 |