TreeView Knowledge Base Browser - conventionalLongName

appearance as argument number 1

(documentation conventionalLongName EnglishLanguage "(conventionalLongName ?NAME ?THING) means that the string ?NAME is the long form of the name conventionally used for ?THING.")	Mid-level-ontology.kif 27243-27245
(domain conventionalLongName 1 SymbolicString)	Mid-level-ontology.kif 27247-27247	Die Zahl 1 Argument von conventionalLongName ist ein fall von SymbolicString %n{nicht}
(domain conventionalLongName 2 Entity)	Mid-level-ontology.kif 27248-27248	Die Zahl 2 Argument von conventionalLongName ist ein fall von Entity %n{nicht}
(instance conventionalLongName BinaryPredicate)	Mid-level-ontology.kif 27241-27241	conventionalLongName ist ein fall von BinaryPredicate %n{nicht}
(subrelation conventionalLongName fullName)	Media.kif 3280-3280	conventionalLongName ist eine teilrelation von fullName
(subrelation conventionalLongName names)	Mid-level-ontology.kif 27250-27250	conventionalLongName ist eine teilrelation von names

appearance as argument number 2

(format ChineseLanguage conventionalLongName "%2 %n 是 %1 的 conventional 全名")	domainEnglishFormat.kif 544-544
(format ChineseTraditionalLanguage conventionalLongName "%2 %n 是 %1 的 conventional 全名")	domainEnglishFormat.kif 543-543
(format EnglishLanguage conventionalLongName "%2 is %n a conventional long name of %1")	domainEnglishFormat.kif 542-542
(termFormat ChineseLanguage conventionalLongName "传统的长名")	domainEnglishFormat.kif 17088-17088
(termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名")	domainEnglishFormat.kif 17087-17087
(termFormat EnglishLanguage conventionalLongName "conventional long name")	domainEnglishFormat.kif 17086-17086
(termFormat EnglishLanguage conventionalLongName "official name")	Mid-level-ontology.kif 27249-27249

statement

(holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))	Government.kif 2755-2758	TimePosition ist ein fall von der tag 1 %n{nicht} und conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations haelt waehrend sofort nach ** TimePosition %n{nicht}
(holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))	Government.kif 2729-2733	TimePosition ist ein fall von das jahr 1996 %n{nicht} und conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity haelt waehrend sofort nach ** TimePosition %n{nicht}

appearance as argument number 0

(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum)	Government.kif 2839-2839	conventionalLongName "ASEAN Regional Forum" and ASEANRegionalForum
(conventionalLongName "African Union" OrganizationOfAfricanUnity)	Government.kif 3697-3697	conventionalLongName "African Union" and OrganizationOfAfricanUnity
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates)	Government.kif 2712-2712	conventionalLongName "African, Caribbean, and Pacific Group of States" and AfricanCaribbeanAndPacificGroupOfStates
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2726-2726	conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean)	Government.kif 2738-2738	conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)	Government.kif 2747-2747	conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil)	Government.kif 2764-2764	conventionalLongName "Antarctic Treaty Council" and AntarcticTreatyCouncil
(conventionalLongName "Antarctic Treaty" AntarcticTreaty)	Geography.kif 3191-3191	conventionalLongName "Antarctic Treaty" and AntarcticTreaty
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica)	Government.kif 2772-2772	conventionalLongName "Arab Bank for Economic Development in Africa" and ArabBankForEconomicDevelopmentInAfrica
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil)	Government.kif 2780-2780	conventionalLongName "Arab Cooperation Council" and ArabCooperationCouncil
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment)	Government.kif 2786-2786	conventionalLongName "Arab Fund for Economic and Social Development" and ArabFundForEconomicAndSocialDevelopment
(conventionalLongName "Arab League" ArabLeague)	Government.kif 2793-2793	conventionalLongName "Arab League" and ArabLeague
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion)	Government.kif 2804-2804	conventionalLongName "Arab Maghreb Union" and ArabMaghrebUnion
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund)	Government.kif 2813-2813	conventionalLongName "Arab Monetary Fund" and ArabMonetaryFund
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation)	Government.kif 2819-2819	conventionalLongName "Asia-Pacific Economic Cooperation" and AsiaPacificEconomicCooperation
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank)	Government.kif 2825-2825	conventionalLongName "Asian Development Bank" and AsianDevelopmentBank
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations)	Government.kif 2831-2831	conventionalLongName "Association of Southeast Asian Nations" and AssociationOfSoutheastAsianNations
(conventionalLongName "Australia Group" AustraliaGroup)	Government.kif 2846-2846	conventionalLongName "Australia Group" and AustraliaGroup
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty)	Government.kif 2851-2851	conventionalLongName "Australia-New Zealand-United States Security Treaty" and AustraliaNewZealandUnitedStatesSecurityTreaty
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements)	Government.kif 2857-2857	conventionalLongName "Bank for International Settlements" and BankForInternationalSettlements
(conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention)	Geography.kif 3246-3247	conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" and HazardousWastesConvention
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion)	Government.kif 2863-2863	conventionalLongName "Benelux Economic Union" and BeneluxEconomicUnion
(conventionalLongName "Big Seven" BigSeven)	Government.kif 2872-2872	conventionalLongName "Big Seven" and BigSeven
(conventionalLongName "Big Six" BigSix)	Government.kif 2877-2877	conventionalLongName "Big Six" and BigSix
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone)	Government.kif 2883-2883	conventionalLongName "Black Sea Economic Cooperation Zone" and BlackSeaEconomicCooperationZone

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: