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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 11495-11496
(instance formerName BinaryPredicate) Mid-level-ontology.kif 11498-11498
(subrelation formerName names) Mid-level-ontology.kif 11497-11497

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 2754-2754
(formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) Government.kif 2737-2737
(formerName "Ancom" AndeanCommunityOfNations) Government.kif 2757-2757
(formerName "Andean Common Market" AndeanCommunityOfNations) Government.kif 2756-2756
(formerName "Andean Parliament" AndeanCommunityOfNations) Government.kif 2755-2755
(formerName "AndeanGroup" AndeanCommunityOfNations) Government.kif 2753-2753
(formerName "Burma" Myanmar) CountriesAndRegions.kif 602-602
(formerName "CSCE" OrganizationForSecurityAndCooperationInEurope) Government.kif 3676-3676
(formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) Government.kif 3611-3611
(formerName "Conference on Security and Cooperation in Europe" OrganizationForSecurityAndCooperationInEurope) Government.kif 3675-3675
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) Government.kif 3201-3201
(formerName "Ellice Islands" Tuvalu) CountriesAndRegions.kif 4228-4228
(formerName "First World" DevelopedCountry) Economy.kif 127-127
(formerName "Gilbert Islands" Kiribati) CountriesAndRegions.kif 4209-4209
(formerName "Grupo de los Ocho" RioGroup) Government.kif 3786-3786
(formerName "Habitat" UnitedNationsCenterForHumanSettlements) Government.kif 3934-3934
(formerName "Hexagonal Initiative" CentralEuropeanInitiative) Government.kif 2927-2927
(formerName "ICEM" InternationalOrganizationForMigration) Government.kif 3547-3547
(formerName "ICM" InternationalOrganizationForMigration) Government.kif 3549-3549
(formerName "IFCTU" WorldConfederationOfLabor) Government.kif 4291-4291
(formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) Government.kif 3356-3356
(formerName "IMCO" InternationalMaritimeOrganization) Government.kif 3517-3517
(formerName "Inter-Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) Government.kif 3355-3355
(formerName "Intergovernmental Committee for European Migration" InternationalOrganizationForMigration) Government.kif 3546-3546
(formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) Government.kif 3548-3548

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