TreeView Knowledge Base Browser

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 16321-16322
(subrelation formerName names)	Mid-level-ontology.kif 16323-16323	former name is a subrelation of names
(domain formerName 1 SymbolicString)	Mid-level-ontology.kif 16324-16324	The number 1 argument of former name is an instance of symbolic string
(domain formerName 2 Entity)	Mid-level-ontology.kif 16325-16325	The number 2 argument of former name is an instance of entity
(instance formerName BinaryPredicate)	Mid-level-ontology.kif 16326-16326	former name is an instance of binary predicate

appearance as argument number 2

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

appearance as argument number 0

(formerName "Burma" Myanmar)	CountriesAndRegions.kif 602-602	"Burma" is a former name for myanmar
(formerName "Gilbert Islands" Kiribati)	CountriesAndRegions.kif 4207-4207	"Gilbert Islands" is a former name for kiribati
(formerName "Ellice Islands" Tuvalu)	CountriesAndRegions.kif 4226-4226	"Ellice Islands" is a former name for tuvalu
(formerName "New Hebrides" Vanuatu)	CountriesAndRegions.kif 4228-4228	"New Hebrides" is a former name for vanuatu
(formerName "First World" DevelopedCountry)	Economy.kif 127-127	"First World" is a former name for developed country
(formerName "Second World" FormerSovietOrEasternEuropeanCountry)	Economy.kif 186-186	"Second World" is a former name for former soviet or eastern european country
(formerName "Third World" LessDevelopedCountry)	Economy.kif 208-208	"Third World" is a former name for less developed country
(formerName "Newly Industrializing Countries" NewlyIndustrializingEconomy)	Economy.kif 362-362	"Newly Industrializing Countries" is a former name for newly industrializing economy
(formerName "NIC" NewlyIndustrializingEconomy)	Economy.kif 363-363	"NIC" is a former name for newly industrializing economy
(formerName "Agency for Cultural and Technical Cooperation" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2756-2756	"Agency for Cultural and Technical Cooperation" is a former name for agency for the french speaking community
(formerName "AndeanGroup" AndeanCommunityOfNations)	Government.kif 2777-2777	"AndeanGroup" is a former name for andean community of nations
(formerName "AG" AndeanCommunityOfNations)	Government.kif 2778-2778	"AG" is a former name for andean community of nations
(formerName "Andean Parliament" AndeanCommunityOfNations)	Government.kif 2779-2779	"Andean Parliament" is a former name for andean community of nations
(formerName "Andean Common Market" AndeanCommunityOfNations)	Government.kif 2780-2780	"Andean Common Market" is a former name for andean community of nations
(formerName "Ancom" AndeanCommunityOfNations)	Government.kif 2781-2781	"Ancom" is a former name for andean community of nations
(formerName "Quadrilateral Initiative" CentralEuropeanInitiative)	Government.kif 2955-2955	"Quadrilateral Initiative" is a former name for central european initiative
(formerName "Hexagonal Initiative" CentralEuropeanInitiative)	Government.kif 2956-2956	"Hexagonal Initiative" is a former name for central european initiative
(formerName "North Atlantic Cooperation Council" EuroAtlanticPartnershipCouncil)	Government.kif 3148-3148	"North Atlantic Cooperation Council" is a former name for euro atlantic partnership council
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch)	Government.kif 3230-3230	"Conseil Europeenne pour la Recherche Nucleaire" is a former name for european organization for nuclear research
(formerName "Inter_Governmental Authority on Drought and Development" InterGovernmentalAuthorityOnDevelopment)	Government.kif 3384-3384	"Inter_Governmental Authority on Drought and Development" is a former name for inter governmental authority on development
(formerName "IGADD" InterGovernmentalAuthorityOnDevelopment)	Government.kif 3385-3385	"IGADD" is a former name for inter governmental authority on development
(formerName "League of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties)	Government.kif 3498-3498	"League of Red Cross and Red Crescent Societies" is a former name for international federation of red cross and red crescent societies
(formerName "LORCS" InternationalFederationOfRedCrossAndRedCrescentSocieties)	Government.kif 3499-3499	"LORCS" is a former name for international federation of red cross and red crescent societies
(formerName "International Hydrographic Bureau" InternationalHydrographicOrganization)	Government.kif 3526-3526	"International Hydrographic Bureau" is a former name for international hydrographic organization
(formerName "Intergovernmental Maritime Consultative Organization" InternationalMaritimeOrganization)	Government.kif 3545-3545	"Intergovernmental Maritime Consultative Organization" is a former name for international maritime organization

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)

KB Term:			Term intersection

English Word: