| 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 16105-16106 | |
| (domain formerName 1 SymbolicString) | Mid-level-ontology.kif 16108-16108 | |
| (domain formerName 2 Entity) | Mid-level-ontology.kif 16109-16109 | |
| (instance formerName BinaryPredicate) | Mid-level-ontology.kif 16110-16110 | |
| (subrelation formerName names) | Mid-level-ontology.kif 16107-16107 |
| 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 24762-24762 | |
| (termFormat ChineseTraditionalLanguage formerName "以前的名字") | domainEnglishFormat.kif 24761-24761 | |
| (termFormat EnglishLanguage formerName "former name") | domainEnglishFormat.kif 24760-24760 |
| appearance as argument number 0 |
|
|
| (formerName "AG" AndeanCommunityOfNations) | Government.kif 2747-2747 | |
| (formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2725-2725 | |
| (formerName "Ancom" AndeanCommunityOfNations) | Government.kif 2750-2750 | |
| (formerName "Andean Common Market" AndeanCommunityOfNations) | Government.kif 2749-2749 | |
| (formerName "Andean Parliament" AndeanCommunityOfNations) | Government.kif 2748-2748 | |
| (formerName "AndeanGroup" AndeanCommunityOfNations) | Government.kif 2746-2746 | |
| (formerName "Burma" Myanmar) | CountriesAndRegions.kif 602-602 | |
| (formerName "CSCE" OrganizationForSecurityAndCooperationInEurope) | Government.kif 3674-3674 | |
| (formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) | Government.kif 3609-3609 | |
| (formerName "Conference on Security and Cooperation in Europe" OrganizationForSecurityAndCooperationInEurope) | Government.kif 3673-3673 | |
| (formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) | Government.kif 3199-3199 | |
| (formerName "Ellice Islands" Tuvalu) | CountriesAndRegions.kif 4226-4226 | |
| (formerName "First World" DevelopedCountry) | Economy.kif 127-127 | |
| (formerName "Gilbert Islands" Kiribati) | CountriesAndRegions.kif 4207-4207 | |
| (formerName "Grupo de los Ocho" RioGroup) | Government.kif 3784-3784 | |
| (formerName "Habitat" UnitedNationsCenterForHumanSettlements) | Government.kif 3932-3932 | |
| (formerName "Hexagonal Initiative" CentralEuropeanInitiative) | Government.kif 2925-2925 | |
| (formerName "ICEM" InternationalOrganizationForMigration) | Government.kif 3545-3545 | |
| (formerName "ICM" InternationalOrganizationForMigration) | Government.kif 3547-3547 | |
| (formerName "IFCTU" WorldConfederationOfLabor) | Government.kif 4289-4289 | |
| (formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) | Government.kif 3354-3354 | |
| (formerName "IMCO" InternationalMaritimeOrganization) | Government.kif 3515-3515 | |
| (formerName "Inter_Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) | Government.kif 3353-3353 | |
| (formerName "Intergovernmental Committee for European Migration" InternationalOrganizationForMigration) | Government.kif 3544-3544 | |
| (formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) | Government.kif 3546-3546 | |
| 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