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 27127-27129
(domain conventionalLongName 1 SymbolicString)	Mid-level-ontology.kif 27131-27131	The number 1 argument of conventional long name is an instance of symbolic string
(domain conventionalLongName 2 Entity)	Mid-level-ontology.kif 27132-27132	The number 2 argument of conventional long name is an instance of entity
(instance conventionalLongName BinaryPredicate)	Mid-level-ontology.kif 27125-27125	conventional long name is an instance of binary predicate
(subrelation conventionalLongName fullName)	Media.kif 3298-3298	conventional long name is a subrelation of full name
(subrelation conventionalLongName names)	Mid-level-ontology.kif 27134-27134	conventional long name is a subrelation of 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 27133-27133

statement

(holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))	Government.kif 2791-2794	A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position
(holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))	Government.kif 2765-2769	A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the time position

appearance as argument number 0

(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum)	Government.kif 2875-2875	ASEAN regional forum is a conventional long name of "ASEAN Regional Forum"
(conventionalLongName "African Union" OrganizationOfAfricanUnity)	Government.kif 3733-3733	Organization of african unity is a conventional long name of "African Union"
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates)	Government.kif 2748-2748	African caribbean and pacific group of states is a conventional long name of "African, Caribbean, and Pacific Group of States"
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)	Government.kif 2762-2762	Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community"
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean)	Government.kif 2774-2774	Agency for the prohibition of nuclear weapons in latin america and the caribbean is a conventional long name of "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean"
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)	Government.kif 2783-2783	Andean community of nations is a conventional long name of "Andean Community of Nations"
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil)	Government.kif 2800-2800	Antarctic treaty council is a conventional long name of "Antarctic Treaty Council"
(conventionalLongName "Antarctic Treaty" AntarcticTreaty)	Geography.kif 3191-3191	Antarctic treaty is a conventional long name of "Antarctic Treaty"
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica)	Government.kif 2808-2808	Arab bank for economic development in africa is a conventional long name of "Arab Bank for Economic Development in Africa"
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil)	Government.kif 2816-2816	Arab cooperation council is a conventional long name of "Arab Cooperation Council"
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment)	Government.kif 2822-2822	Arab fund for economic and social development is a conventional long name of "Arab Fund for Economic and Social Development"
(conventionalLongName "Arab League" ArabLeague)	Government.kif 2829-2829	Arab league is a conventional long name of "Arab League"
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion)	Government.kif 2840-2840	Arab maghreb union is a conventional long name of "Arab Maghreb Union"
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund)	Government.kif 2849-2849	Arab monetary fund is a conventional long name of "Arab Monetary Fund"
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation)	Government.kif 2855-2855	Asia pacific economic cooperation is a conventional long name of "Asia-Pacific Economic Cooperation"
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank)	Government.kif 2861-2861	Asian development bank is a conventional long name of "Asian Development Bank"
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations)	Government.kif 2867-2867	Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations"
(conventionalLongName "Australia Group" AustraliaGroup)	Government.kif 2882-2882	Australia group is a conventional long name of "Australia Group"
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty)	Government.kif 2887-2887	Australia new zealand united states security treaty is a conventional long name of "Australia-New Zealand-United States Security Treaty"
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements)	Government.kif 2893-2893	Bank for international settlements is a conventional long name of "Bank for International Settlements"
(conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention)	Geography.kif 3246-3247	Hazardous wastes convention is a conventional long name of "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal"
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion)	Government.kif 2899-2899	Benelux economic union is a conventional long name of "Benelux Economic Union"
(conventionalLongName "Big Seven" BigSeven)	Government.kif 2908-2908	Big seven is a conventional long name of "Big Seven"
(conventionalLongName "Big Six" BigSix)	Government.kif 2913-2913	Big six is a conventional long name of "Big Six"
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone)	Government.kif 2919-2919	Black sea economic cooperation zone is a conventional long name of "Black Sea Economic Cooperation Zone"

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: