| 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 14934-14935 | |
| (instance formerName BinaryPredicate) | Mid-level-ontology.kif 14937-14937 | former name is an instance of binary predicate |
| (subrelation formerName names) | Mid-level-ontology.kif 14936-14936 | former name is a subrelation of names |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage formerName "%1 是对于 %2 的 former name ") | domainEnglishFormat.kif 3472-3472 | |
| (format ChineseTraditionalLanguage formerName "%1 是對於 %2 的 former name ") | domainEnglishFormat.kif 3471-3471 | |
| (format EnglishLanguage formerName "%1 is a former name for %2") | domainEnglishFormat.kif 3470-3470 | |
| (termFormat ChineseLanguage formerName "以前的名字") | domainEnglishFormat.kif 24768-24768 | |
| (termFormat ChineseTraditionalLanguage formerName "以前的名字") | domainEnglishFormat.kif 24767-24767 | |
| (termFormat EnglishLanguage formerName "former name") | domainEnglishFormat.kif 24766-24766 |
| appearance as argument number 0 |
|
|
| (formerName "AG" AndeanCommunityOfNations) | Government.kif 2750-2750 | "AG" is a former name for andean community of nations |
| (formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2728-2728 | "Agency for Cultural and Technical Cooperation" is a former name for agency for the french speaking community |
| (formerName "Ancom" AndeanCommunityOfNations) | Government.kif 2753-2753 | "Ancom" is a former name for andean community of nations |
| (formerName "Andean Common Market" AndeanCommunityOfNations) | Government.kif 2752-2752 | "Andean Common Market" is a former name for andean community of nations |
| (formerName "Andean Parliament" AndeanCommunityOfNations) | Government.kif 2751-2751 | "Andean Parliament" is a former name for andean community of nations |
| (formerName "AndeanGroup" AndeanCommunityOfNations) | Government.kif 2749-2749 | "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 3677-3677 | "CSCE" is a former name for organization for security and cooperation in europe |
| (formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) | Government.kif 3612-3612 | "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 3676-3676 | "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 3202-3202 | "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 3787-3787 | "Grupo de los Ocho" is a former name for rio group |
| (formerName "Habitat" UnitedNationsCenterForHumanSettlements) | Government.kif 3935-3935 | "Habitat" is a former name for united nations center for human settlements |
| (formerName "Hexagonal Initiative" CentralEuropeanInitiative) | Government.kif 2928-2928 | "Hexagonal Initiative" is a former name for central european initiative |
| (formerName "ICEM" InternationalOrganizationForMigration) | Government.kif 3548-3548 | "ICEM" is a former name for international organization for migration |
| (formerName "ICM" InternationalOrganizationForMigration) | Government.kif 3550-3550 | "ICM" is a former name for international organization for migration |
| (formerName "IFCTU" WorldConfederationOfLabor) | Government.kif 4292-4292 | "IFCTU" is a former name for world confederation of labor |
| (formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) | Government.kif 3357-3357 | "IGADD" is a former name for inter governmental authority on development |
| (formerName "IMCO" InternationalMaritimeOrganization) | Government.kif 3518-3518 | "IMCO" is a former name for international maritime organization |
| (formerName "Inter-Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) | Government.kif 3356-3356 | "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 3547-3547 | "Intergovernmental Committee for European Migration" is a former name for international organization for migration |
| (formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) | Government.kif 3549-3549 | "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