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 16087-16088 | |
(domain formerName 1 SymbolicString) | Mid-level-ontology.kif 16090-16090 | 以前的名字 的 1 数量 是 符号串 的 instance |
(domain formerName 2 Entity) | Mid-level-ontology.kif 16091-16091 | 以前的名字 的 2 数量 是 实体 的 instance |
(instance formerName BinaryPredicate) | Mid-level-ontology.kif 16092-16092 | 以前的名字 是 二元谓语 的 instance |
(subrelation formerName names) | Mid-level-ontology.kif 16089-16089 | 以前的名字 是 命名 的 subrelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage formerName "%1 是对于 %2 的 former name ") | domainEnglishFormat.kif 3476-3476 | |
(format ChineseTraditionalLanguage formerName "%1 是對於 %2 的 former name ") | domainEnglishFormat.kif 3475-3475 | |
(format EnglishLanguage formerName "%1 is a former name for %2") | domainEnglishFormat.kif 3474-3474 | |
(termFormat ChineseLanguage formerName "以前的名字") | domainEnglishFormat.kif 24745-24745 | |
(termFormat ChineseTraditionalLanguage formerName "以前的名字") | domainEnglishFormat.kif 24744-24744 | |
(termFormat EnglishLanguage formerName "former name") | domainEnglishFormat.kif 24743-24743 |
appearance as argument number 0 |
![]() |
(formerName "AG" AndeanCommunityOfNations) | Government.kif 2747-2747 | "AG" 是对于 安第斯国际社会 的 former name |
(formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2725-2725 | "Agency for Cultural and Technical Cooperation" 是对于 法语社区的代理机构 的 former name |
(formerName "Ancom" AndeanCommunityOfNations) | Government.kif 2750-2750 | "Ancom" 是对于 安第斯国际社会 的 former name |
(formerName "Andean Common Market" AndeanCommunityOfNations) | Government.kif 2749-2749 | "Andean Common Market" 是对于 安第斯国际社会 的 former name |
(formerName "Andean Parliament" AndeanCommunityOfNations) | Government.kif 2748-2748 | "Andean Parliament" 是对于 安第斯国际社会 的 former name |
(formerName "AndeanGroup" AndeanCommunityOfNations) | Government.kif 2746-2746 | "AndeanGroup" 是对于 安第斯国际社会 的 former name |
(formerName "Burma" Myanmar) | CountriesAndRegions.kif 602-602 | "Burma" 是对于 缅甸 的 former name |
(formerName "CSCE" OrganizationForSecurityAndCooperationInEurope) | Government.kif 3674-3674 | "CSCE" 是对于 欧洲安全与合作组织 的 former name |
(formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) | Government.kif 3609-3609 | "Central African Customs and Economic Union" 是对于 中非货币和经济共同体 的 former name |
(formerName "Conference on Security and Cooperation in Europe" OrganizationForSecurityAndCooperationInEurope) | Government.kif 3673-3673 | "Conference on Security and Cooperation in Europe" 是对于 欧洲安全与合作组织 的 former name |
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) | Government.kif 3199-3199 | "Conseil Europeenne pour la Recherche Nucleaire" 是对于 欧洲核研究组织 的 former name |
(formerName "Ellice Islands" Tuvalu) | CountriesAndRegions.kif 4221-4221 | "Ellice Islands" 是对于 图瓦卢 的 former name |
(formerName "First World" DevelopedCountry) | Economy.kif 127-127 | "First World" 是对于 发达国家 的 former name |
(formerName "Gilbert Islands" Kiribati) | CountriesAndRegions.kif 4202-4202 | "Gilbert Islands" 是对于 基里巴斯 的 former name |
(formerName "Grupo de los Ocho" RioGroup) | Government.kif 3784-3784 | "Grupo de los Ocho" 是对于 里约集团 的 former name |
(formerName "Habitat" UnitedNationsCenterForHumanSettlements) | Government.kif 3932-3932 | "Habitat" 是对于 联合国人类住区中心 的 former name |
(formerName "Hexagonal Initiative" CentralEuropeanInitiative) | Government.kif 2925-2925 | "Hexagonal Initiative" 是对于 中欧倡议 的 former name |
(formerName "ICEM" InternationalOrganizationForMigration) | Government.kif 3545-3545 | "ICEM" 是对于 国际移民组织 的 former name |
(formerName "ICM" InternationalOrganizationForMigration) | Government.kif 3547-3547 | "ICM" 是对于 国际移民组织 的 former name |
(formerName "IFCTU" WorldConfederationOfLabor) | Government.kif 4289-4289 | "IFCTU" 是对于 世界劳工联合会 的 former name |
(formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) | Government.kif 3354-3354 | "IGADD" 是对于 政府间发展权威 的 former name |
(formerName "IMCO" InternationalMaritimeOrganization) | Government.kif 3515-3515 | "IMCO" 是对于 国际海事组织 的 former name |
(formerName "Inter_Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) | Government.kif 3353-3353 | "Inter_Governmental Authority on Drought and Development" 是对于 政府间发展权威 的 former name |
(formerName "Intergovernmental Committee for European Migration" InternationalOrganizationForMigration) | Government.kif 3544-3544 | "Intergovernmental Committee for European Migration" 是对于 国际移民组织 的 former name |
(formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) | Government.kif 3546-3546 | "Intergovernmental Committee for Migration" 是对于 国际移民组织 的 former name |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |