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
(subrelation formerName names) Mid-level-ontology.kif 14745-14745

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

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