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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16087-16088
(domain formerName 1 SymbolicString) Mid-level-ontology.kif 16090-16090 以前的名字 的 1 数量 是 符号串instance
(domain formerName 2 Entity) Mid-level-ontology.kif 16091-16091 以前的名字 的 2 数量 是 实体instance
(instance formerName BinaryPredicate) Mid-level-ontology.kif 16092-16092 以前的名字二元谓语instance
(subrelation formerName names) Mid-level-ontology.kif 16089-16089 以前的名字命名subrelation

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


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

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


(formerName "AG" AndeanCommunityOfNations) Government.kif 2747-2747 "AG" 是对于 安第斯国际社会former name
(formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity) Government.kif 2725-2725 "Agency for Cultural and Technical Cooperation" 是对于 法语社区的代理机构former name
(formerName "Ancom" AndeanCommunityOfNations) Government.kif 2750-2750 "Ancom" 是对于 安第斯国际社会former name
(formerName "Andean Common Market" AndeanCommunityOfNations) Government.kif 2749-2749 "Andean Common Market" 是对于 安第斯国际社会former name
(formerName "Andean Parliament" AndeanCommunityOfNations) Government.kif 2748-2748 "Andean Parliament" 是对于 安第斯国际社会former name
(formerName "AndeanGroup" AndeanCommunityOfNations) Government.kif 2746-2746 "AndeanGroup" 是对于 安第斯国际社会former name
(formerName "Burma" Myanmar) CountriesAndRegions.kif 602-602 "Burma" 是对于 缅甸former name
(formerName "CSCE" OrganizationForSecurityAndCooperationInEurope) Government.kif 3674-3674 "CSCE" 是对于 欧洲安全与合作组织former name
(formerName "Central African Customs and Economic Union" MonetaryAndEconomicCommunityOfCentralAfrica) Government.kif 3609-3609 "Central African Customs and Economic Union" 是对于 中非货币和经济共同体former name
(formerName "Conference on Security and Cooperation in Europe" OrganizationForSecurityAndCooperationInEurope) Government.kif 3673-3673 "Conference on Security and Cooperation in Europe" 是对于 欧洲安全与合作组织former name
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) Government.kif 3199-3199 "Conseil Europeenne pour la Recherche Nucleaire" 是对于 欧洲核研究组织former name
(formerName "Ellice Islands" Tuvalu) CountriesAndRegions.kif 4221-4221 "Ellice Islands" 是对于 图瓦卢former name
(formerName "First World" DevelopedCountry) Economy.kif 127-127 "First World" 是对于 发达国家former name
(formerName "Gilbert Islands" Kiribati) CountriesAndRegions.kif 4202-4202 "Gilbert Islands" 是对于 基里巴斯former name
(formerName "Grupo de los Ocho" RioGroup) Government.kif 3784-3784 "Grupo de los Ocho" 是对于 里约集团former name
(formerName "Habitat" UnitedNationsCenterForHumanSettlements) Government.kif 3932-3932 "Habitat" 是对于 联合国人类住区中心former name
(formerName "Hexagonal Initiative" CentralEuropeanInitiative) Government.kif 2925-2925 "Hexagonal Initiative" 是对于 中欧倡议former name
(formerName "ICEM" InternationalOrganizationForMigration) Government.kif 3545-3545 "ICEM" 是对于 国际移民组织former name
(formerName "ICM" InternationalOrganizationForMigration) Government.kif 3547-3547 "ICM" 是对于 国际移民组织former name
(formerName "IFCTU" WorldConfederationOfLabor) Government.kif 4289-4289 "IFCTU" 是对于 世界劳工联合会former name
(formerName "IGADD" InterGovernmentalAuthorityOnDevelopment) Government.kif 3354-3354 "IGADD" 是对于 政府间发展权威former name
(formerName "IMCO" InternationalMaritimeOrganization) Government.kif 3515-3515 "IMCO" 是对于 国际海事组织former name
(formerName "Inter_Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment) Government.kif 3353-3353 "Inter_Governmental Authority on Drought and Development" 是对于 政府间发展权威former name
(formerName "Intergovernmental Committee for European Migration" InternationalOrganizationForMigration) Government.kif 3544-3544 "Intergovernmental Committee for European Migration" 是对于 国际移民组织former name
(formerName "Intergovernmental Committee for Migration" InternationalOrganizationForMigration) Government.kif 3546-3546 "Intergovernmental Committee for Migration" 是对于 国际移民组织former name

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