Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  formerName

Sigma KEE - formerName
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 14180-14181
(instance formerName BinaryPredicate) Mid-level-ontology.kif 14183-14183 former name is an instance of binary predicate
(subrelation formerName names) Mid-level-ontology.kif 14182-14182 former name is a subrelation of names

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 24741-24741
(termFormat ChineseTraditionalLanguage formerName "以前的名字") domainEnglishFormat.kif 24740-24740
(termFormat EnglishLanguage formerName "former name") domainEnglishFormat.kif 24739-24739

appearance as argument number 0
-------------------------


(formerName "AG" AndeanCommunityOfNations) Government.kif 2766-2766 "AG" is a former name for andean community of nations
(formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) Government.kif 2749-2749 "Agency for Cultural and Technical Cooperation" is a former name for agency for the french speaking community
(formerName "Ancom" AndeanCommunityOfNations) Government.kif 2769-2769 "Ancom" is a former name for andean community of nations
(formerName "Andean Common Market" AndeanCommunityOfNations) Government.kif 2768-2768 "Andean Common Market" is a former name for andean community of nations
(formerName "Andean Parliament" AndeanCommunityOfNations) Government.kif 2767-2767 "Andean Parliament" is a former name for andean community of nations
(formerName "AndeanGroup" AndeanCommunityOfNations) Government.kif 2765-2765 "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 3693-3693 "CSCE" is a former name for organization for security and cooperation in europe
(formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) Government.kif 3628-3628 "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 3692-3692 "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 3218-3218 "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 3803-3803 "Grupo de los Ocho" is a former name for rio group
(formerName "Habitat" UnitedNationsCenterForHumanSettlements) Government.kif 3951-3951 "Habitat" is a former name for united nations center for human settlements
(formerName "Hexagonal Initiative" CentralEuropeanInitiative) Government.kif 2944-2944 "Hexagonal Initiative" is a former name for central european initiative
(formerName "ICEM" InternationalOrganizationForMigration) Government.kif 3564-3564 "ICEM" is a former name for international organization for migration
(formerName "ICM" InternationalOrganizationForMigration) Government.kif 3566-3566 "ICM" is a former name for international organization for migration
(formerName "IFCTU" WorldConfederationOfLabor) Government.kif 4308-4308 "IFCTU" is a former name for world confederation of labor
(formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) Government.kif 3373-3373 "IGADD" is a former name for inter governmental authority on development
(formerName "IMCO" InternationalMaritimeOrganization) Government.kif 3534-3534 "IMCO" is a former name for international maritime organization
(formerName "Inter-Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) Government.kif 3372-3372 "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 3563-3563 "Intergovernmental Committee for European Migration" is a former name for international organization for migration
(formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) Government.kif 3565-3565 "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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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