| 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 12487-12488 | |
| (instance formerName BinaryPredicate) | Mid-level-ontology.kif 12490-12490 | 以前的名字 是 二元谓语 的 instance |
| (subrelation formerName names) | Mid-level-ontology.kif 12489-12489 | 以前的名字 是 命名 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage formerName "%1 是对于 %2 的 former name ") | domainEnglishFormat.kif 3483-3483 | |
| (format ChineseTraditionalLanguage formerName "%1 是對於 %2 的 former name ") | domainEnglishFormat.kif 3482-3482 | |
| (format EnglishLanguage formerName "%1 is a former name for %2") | domainEnglishFormat.kif 3481-3481 | |
| (termFormat ChineseLanguage formerName "以前的名字") | domainEnglishFormat.kif 24748-24748 | |
| (termFormat ChineseTraditionalLanguage formerName "以前的名字") | domainEnglishFormat.kif 24747-24747 | |
| (termFormat EnglishLanguage formerName "former name") | domainEnglishFormat.kif 24746-24746 |
| appearance as argument number 0 |
|
|
| (formerName "AG" AndeanCommunityOfNations) | Government.kif 2722-2722 | "AG" 是对于 安第斯国际社会 的 former name |
| (formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2705-2705 | "Agency for Cultural and Technical Cooperation" 是对于 法语社区的代理机构 的 former name |
| (formerName "Ancom" AndeanCommunityOfNations) | Government.kif 2725-2725 | "Ancom" 是对于 安第斯国际社会 的 former name |
| (formerName "Andean Common Market" AndeanCommunityOfNations) | Government.kif 2724-2724 | "Andean Common Market" 是对于 安第斯国际社会 的 former name |
| (formerName "Andean Parliament" AndeanCommunityOfNations) | Government.kif 2723-2723 | "Andean Parliament" 是对于 安第斯国际社会 的 former name |
| (formerName "AndeanGroup" AndeanCommunityOfNations) | Government.kif 2721-2721 | "AndeanGroup" 是对于 安第斯国际社会 的 former name |
| (formerName "Burma" Myanmar) | CountriesAndRegions.kif 602-602 | "Burma" 是对于 缅甸 的 former name |
| (formerName "CSCE" OrganizationForSecurityAndCooperationInEurope) | Government.kif 3644-3644 | "CSCE" 是对于 欧洲安全与合作组织 的 former name |
| (formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) | Government.kif 3579-3579 | "Central African Customs and Economic Union" 是对于 中非货币和经济共同体 的 former name |
| (formerName "Conference on Security and Cooperation in Europe" OrganizationForSecurityAndCooperationInEurope) | Government.kif 3643-3643 | "Conference on Security and Cooperation in Europe" 是对于 欧洲安全与合作组织 的 former name |
| (formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) | Government.kif 3169-3169 | "Conseil Europeenne pour la Recherche Nucleaire" 是对于 欧洲核研究组织 的 former name |
| (formerName "Ellice Islands" Tuvalu) | CountriesAndRegions.kif 4228-4228 | "Ellice Islands" 是对于 图瓦卢 的 former name |
| (formerName "First World" DevelopedCountry) | Economy.kif 127-127 | "First World" 是对于 发达国家 的 former name |
| (formerName "Gilbert Islands" Kiribati) | CountriesAndRegions.kif 4209-4209 | "Gilbert Islands" 是对于 基里巴斯 的 former name |
| (formerName "Grupo de los Ocho" RioGroup) | Government.kif 3754-3754 | "Grupo de los Ocho" 是对于 里约集团 的 former name |
| (formerName "Habitat" UnitedNationsCenterForHumanSettlements) | Government.kif 3902-3902 | "Habitat" 是对于 联合国人类住区中心 的 former name |
| (formerName "Hexagonal Initiative" CentralEuropeanInitiative) | Government.kif 2895-2895 | "Hexagonal Initiative" 是对于 中欧倡议 的 former name |
| (formerName "ICEM" InternationalOrganizationForMigration) | Government.kif 3515-3515 | "ICEM" 是对于 国际移民组织 的 former name |
| (formerName "ICM" InternationalOrganizationForMigration) | Government.kif 3517-3517 | "ICM" 是对于 国际移民组织 的 former name |
| (formerName "IFCTU" WorldConfederationOfLabor) | Government.kif 4259-4259 | "IFCTU" 是对于 世界劳工联合会 的 former name |
| (formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) | Government.kif 3324-3324 | "IGADD" 是对于 政府间发展权威 的 former name |
| (formerName "IMCO" InternationalMaritimeOrganization) | Government.kif 3485-3485 | "IMCO" 是对于 国际海事组织 的 former name |
| (formerName "Inter-Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) | Government.kif 3323-3323 | "Inter-Governmental Authority on Drought and Development" 是对于 政府间发展权威 的 former name |
| (formerName "Intergovernmental Committee for European Migration" InternationalOrganizationForMigration) | Government.kif 3514-3514 | "Intergovernmental Committee for European Migration" 是对于 国际移民组织 的 former name |
| (formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) | Government.kif 3516-3516 | "Intergovernmental Committee for Migration" 是对于 国际移民组织 的 former name |
| 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