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 14743-14744
(instance formerName BinaryPredicate) Mid-level-ontology.kif 14746-14746 formerName は 2進述語 の instance では %n
(subrelation formerName names) Mid-level-ontology.kif 14745-14745 formerName は names の subrelation では %n

appearance as argument number 2
-------------------------


(format ChineseLanguage formerName "%1 是对于 %2 的 former name ") domainEnglishFormat.kif 3478-3478
(format ChineseTraditionalLanguage formerName "%1 是對於 %2 的 former name ") domainEnglishFormat.kif 3477-3477
(format EnglishLanguage formerName "%1 is a former name for %2") domainEnglishFormat.kif 3476-3476
(termFormat ChineseLanguage formerName "以前的名字") domainEnglishFormat.kif 24746-24746
(termFormat ChineseTraditionalLanguage formerName "以前的名字") domainEnglishFormat.kif 24745-24745
(termFormat EnglishLanguage formerName "former name") domainEnglishFormat.kif 24744-24744

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


(formerName "AG" AndeanCommunityOfNations) Government.kif 2750-2750 formerName "AG" and AndeanCommunityOfNations
(formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) Government.kif 2728-2728 formerName "Agency for Cultural and Technical Cooperation" and AgencyForTheFrenchSpeakingCommunity
(formerName "Ancom" AndeanCommunityOfNations) Government.kif 2753-2753 formerName "Ancom" and AndeanCommunityOfNations
(formerName "Andean Common Market" AndeanCommunityOfNations) Government.kif 2752-2752 formerName "Andean Common Market" and AndeanCommunityOfNations
(formerName "Andean Parliament" AndeanCommunityOfNations) Government.kif 2751-2751 formerName "Andean Parliament" and AndeanCommunityOfNations
(formerName "AndeanGroup" AndeanCommunityOfNations) Government.kif 2749-2749 formerName "AndeanGroup" and AndeanCommunityOfNations
(formerName "Burma" Myanmar) CountriesAndRegions.kif 602-602 formerName "Burma" and Myanmar
(formerName "CSCE" OrganizationForSecurityAndCooperationInEurope) Government.kif 3677-3677 formerName "CSCE" and OrganizationForSecurityAndCooperationInEurope
(formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) Government.kif 3612-3612 formerName "Central African Customs and Economic Union" and MonetaryAndEconomicCommunityOfCentralAfrica
(formerName "Conference on Security and Cooperation in Europe" OrganizationForSecurityAndCooperationInEurope) Government.kif 3676-3676 formerName "Conference on Security and Cooperation in Europe" and OrganizationForSecurityAndCooperationInEurope
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) Government.kif 3202-3202 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 3787-3787 formerName "Grupo de los Ocho" and RioGroup
(formerName "Habitat" UnitedNationsCenterForHumanSettlements) Government.kif 3935-3935 formerName "Habitat" and UnitedNationsCenterForHumanSettlements
(formerName "Hexagonal Initiative" CentralEuropeanInitiative) Government.kif 2928-2928 formerName "Hexagonal Initiative" and CentralEuropeanInitiative
(formerName "ICEM" InternationalOrganizationForMigration) Government.kif 3548-3548 formerName "ICEM" and InternationalOrganizationForMigration
(formerName "ICM" InternationalOrganizationForMigration) Government.kif 3550-3550 formerName "ICM" and InternationalOrganizationForMigration
(formerName "IFCTU" WorldConfederationOfLabor) Government.kif 4292-4292 formerName "IFCTU" and WorldConfederationOfLabor
(formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) Government.kif 3357-3357 formerName "IGADD" and InterGovernmentalAuthorityOnDevelopment
(formerName "IMCO" InternationalMaritimeOrganization) Government.kif 3518-3518 formerName "IMCO" and InternationalMaritimeOrganization
(formerName "Inter-Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) Government.kif 3356-3356 formerName "Inter-Governmental Authority on Drought and Development" and InterGovernmentalAuthorityOnDevelopment
(formerName "Intergovernmental Committee for European Migration" InternationalOrganizationForMigration) Government.kif 3547-3547 formerName "Intergovernmental Committee for European Migration" and InternationalOrganizationForMigration
(formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) Government.kif 3549-3549 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