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	域傳統的長名, 1 and SymbolicString
(domain conventionalLongName 2 Entity)	Mid-level-ontology.kif 27248-27248	域傳統的長名, 2 and Entity
(instance conventionalLongName BinaryPredicate)	Mid-level-ontology.kif 27241-27241	例傳統的長名 and BinaryPredicate
(subrelation conventionalLongName fullName)	Media.kif 3280-3280	子關係傳統的長名 and fullName
(subrelation conventionalLongName names)	Mid-level-ontology.kif 27250-27250	子關係傳統的長名 and 名

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 and 例 TimePosition and 天 1 and 月 October and 年 1992 安第斯國際社會是 "Andean Community of Nations" 的 conventional 全名
(holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))	Government.kif 2729-2733	持有期間眼前的未來 TimePosition and 例 TimePosition and 年 1996 法語社區的代理機構是 "Agency for the French-Speaking Community" 的 conventional 全名

appearance as argument number 0

(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum)	Government.kif 2839-2839	東盟區域論壇是 "ASEAN Regional Forum" 的 conventional 全名
(conventionalLongName "African Union" OrganizationOfAfricanUnity)	Government.kif 3697-3697	非洲統一組織是 "African Union" 的 conventional 全名
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates)	Government.kif 2712-2712	非洲加勒比和太平洋國家集團是 "African, Caribbean, and Pacific Group of States" 的 conventional 全名
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2726-2726	法語社區的代理機構是 "Agency for the French-Speaking Community" 的 conventional 全名
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean)	Government.kif 2738-2738	在拉丁美洲和加勒比地區禁止核武器的機構是 "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" 的 conventional 全名
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)	Government.kif 2747-2747	安第斯國際社會是 "Andean Community of Nations" 的 conventional 全名
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil)	Government.kif 2764-2764	南極條約理事會是 "Antarctic Treaty Council" 的 conventional 全名
(conventionalLongName "Antarctic Treaty" AntarcticTreaty)	Geography.kif 3191-3191	南極條約是 "Antarctic Treaty" 的 conventional 全名
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica)	Government.kif 2772-2772	阿拉伯非洲經濟發展銀行是 "Arab Bank for Economic Development in Africa" 的 conventional 全名
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil)	Government.kif 2780-2780	阿拉伯合作理事會是 "Arab Cooperation Council" 的 conventional 全名
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment)	Government.kif 2786-2786	阿拉伯經濟和社會發展基金是 "Arab Fund for Economic and Social Development" 的 conventional 全名
(conventionalLongName "Arab League" ArabLeague)	Government.kif 2793-2793	阿拉伯聯盟是 "Arab League" 的 conventional 全名
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion)	Government.kif 2804-2804	阿拉伯馬格里布聯盟是 "Arab Maghreb Union" 的 conventional 全名
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund)	Government.kif 2813-2813	阿拉伯貨幣基金是 "Arab Monetary Fund" 的 conventional 全名
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation)	Government.kif 2819-2819	亞太經濟合作是 "Asia-Pacific Economic Cooperation" 的 conventional 全名
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank)	Government.kif 2825-2825	亞洲開發銀行是 "Asian Development Bank" 的 conventional 全名
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations)	Government.kif 2831-2831	東南亞國家聯盟是 "Association of Southeast Asian Nations" 的 conventional 全名
(conventionalLongName "Australia Group" AustraliaGroup)	Government.kif 2846-2846	澳大利亞集團是 "Australia Group" 的 conventional 全名
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty)	Government.kif 2851-2851	澳大利亞新西蘭美國安全條約是 "Australia-New Zealand-United States Security Treaty" 的 conventional 全名
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements)	Government.kif 2857-2857	國際結算銀行是 "Bank for International Settlements" 的 conventional 全名
(conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention)	Geography.kif 3246-3247	危險廢物公約是 "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" 的 conventional 全名
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion)	Government.kif 2863-2863	比荷盧經濟聯盟是 "Benelux Economic Union" 的 conventional 全名
(conventionalLongName "Big Seven" BigSeven)	Government.kif 2872-2872	大七是 "Big Seven" 的 conventional 全名
(conventionalLongName "Big Six" BigSix)	Government.kif 2877-2877	大六是 "Big Six" 的 conventional 全名
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone)	Government.kif 2883-2883	黑海經濟合作區是 "Black Sea Economic Cooperation Zone" 的 conventional 全名

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: