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 instance formerName and BinaryPredicate
(subrelation formerName names) Mid-level-ontology.kif 14182-14182 subrelation formerName and 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 formerName "AG" and AndeanCommunityOfNations
(formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) Government.kif 2749-2749 formerName "Agency for Cultural and Technical Cooperation" and AgencyForTheFrenchSpeakingCommunity
(formerName "Ancom" AndeanCommunityOfNations) Government.kif 2769-2769 formerName "Ancom" and AndeanCommunityOfNations
(formerName "Andean Common Market" AndeanCommunityOfNations) Government.kif 2768-2768 formerName "Andean Common Market" and AndeanCommunityOfNations
(formerName "Andean Parliament" AndeanCommunityOfNations) Government.kif 2767-2767 formerName "Andean Parliament" and AndeanCommunityOfNations
(formerName "AndeanGroup" AndeanCommunityOfNations) Government.kif 2765-2765 formerName "AndeanGroup" and AndeanCommunityOfNations
(formerName "Burma" Myanmar) CountriesAndRegions.kif 602-602 formerName "Burma" and Myanmar
(formerName "CSCE" OrganizationForSecurityAndCooperationInEurope) Government.kif 3693-3693 formerName "CSCE" and OrganizationForSecurityAndCooperationInEurope
(formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) Government.kif 3628-3628 formerName "Central African Customs and Economic Union" and MonetaryAndEconomicCommunityOfCentralAfrica
(formerName "Conference on Security and Cooperation in Europe" OrganizationForSecurityAndCooperationInEurope) Government.kif 3692-3692 formerName "Conference on Security and Cooperation in Europe" and OrganizationForSecurityAndCooperationInEurope
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) Government.kif 3218-3218 formerName "Conseil Europeenne pour la Recherche Nucleaire" and EuropeanOrganizationForNuclearResearch
(formerName "Ellice Islands" Tuvalu) CountriesAndRegions.kif 4226-4226 formerName "Ellice Islands" and Tuvalu
(formerName "First World" DevelopedCountry) Economy.kif 127-127 formerName "First World" and DevelopedCountry
(formerName "Gilbert Islands" Kiribati) CountriesAndRegions.kif 4207-4207 formerName "Gilbert Islands" and Kiribati
(formerName "Grupo de los Ocho" RioGroup) Government.kif 3803-3803 formerName "Grupo de los Ocho" and RioGroup
(formerName "Habitat" UnitedNationsCenterForHumanSettlements) Government.kif 3951-3951 formerName "Habitat" and UnitedNationsCenterForHumanSettlements
(formerName "Hexagonal Initiative" CentralEuropeanInitiative) Government.kif 2944-2944 formerName "Hexagonal Initiative" and CentralEuropeanInitiative
(formerName "ICEM" InternationalOrganizationForMigration) Government.kif 3564-3564 formerName "ICEM" and InternationalOrganizationForMigration
(formerName "ICM" InternationalOrganizationForMigration) Government.kif 3566-3566 formerName "ICM" and InternationalOrganizationForMigration
(formerName "IFCTU" WorldConfederationOfLabor) Government.kif 4308-4308 formerName "IFCTU" and WorldConfederationOfLabor
(formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) Government.kif 3373-3373 formerName "IGADD" and InterGovernmentalAuthorityOnDevelopment
(formerName "IMCO" InternationalMaritimeOrganization) Government.kif 3534-3534 formerName "IMCO" and InternationalMaritimeOrganization
(formerName "Inter-Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) Government.kif 3372-3372 formerName "Inter-Governmental Authority on Drought and Development" and InterGovernmentalAuthorityOnDevelopment
(formerName "Intergovernmental Committee for European Migration" InternationalOrganizationForMigration) Government.kif 3563-3563 formerName "Intergovernmental Committee for European Migration" and InternationalOrganizationForMigration
(formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) Government.kif 3565-3565 formerName "Intergovernmental Committee for Migration" and InternationalOrganizationForMigration

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