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 29111-29113 | |
(domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 29115-29115 | conventionalLongName の数値 1 引数は 記号文字列 の instance では |
(domain conventionalLongName 2 Entity) | Mid-level-ontology.kif 29116-29116 | conventionalLongName の数値 2 引数は エンティティー の instance では |
(instance conventionalLongName BinaryPredicate) | Mid-level-ontology.kif 29109-29109 | conventionalLongName は 2進述語 の instance では |
(subrelation conventionalLongName fullName) | Media.kif 3282-3282 | conventionalLongName は fullName の subrelation では |
(subrelation conventionalLongName names) | Mid-level-ontology.kif 29118-29118 | conventionalLongName は names の subrelation では |
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 17097-17097 | |
(termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") | domainEnglishFormat.kif 17096-17096 | |
(termFormat EnglishLanguage conventionalLongName "conventional long name") | domainEnglishFormat.kif 17095-17095 | |
(termFormat EnglishLanguage conventionalLongName "official name") | Mid-level-ontology.kif 29117-29117 |
statement |
![]() |
(holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))) |
Government.kif 2752-2755 | 時間位置 は 1 day 目 の instance では conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations は 時間位置 の すぐ after の during holds |
(holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity))) |
Government.kif 2726-2730 | 時間位置 は 1996 year 目 の instance では conventionalLongName "Agency for the French_Speaking Community" and AgencyForTheFrenchSpeakingCommunity は 時間位置 の すぐ after の during holds |
appearance as argument number 0 |
![]() |
(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) | Government.kif 2836-2836 | conventionalLongName "ASEAN Regional Forum" and ASEANRegionalForum |
(conventionalLongName "African Union" OrganizationOfAfricanUnity) | Government.kif 3694-3694 | conventionalLongName "African Union" and OrganizationOfAfricanUnity |
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) | Government.kif 2709-2709 | conventionalLongName "African, Caribbean, and Pacific Group of States" and AfricanCaribbeanAndPacificGroupOfStates |
(conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2723-2723 | 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 2735-2735 | conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean |
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) | Government.kif 2744-2744 | conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations |
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) | Government.kif 2761-2761 | conventionalLongName "Antarctic Treaty Council" and AntarcticTreatyCouncil |
(conventionalLongName "Antarctic Treaty" AntarcticTreaty) | Geography.kif 3349-3349 | conventionalLongName "Antarctic Treaty" and AntarcticTreaty |
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) | Government.kif 2769-2769 | conventionalLongName "Arab Bank for Economic Development in Africa" and ArabBankForEconomicDevelopmentInAfrica |
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) | Government.kif 2777-2777 | conventionalLongName "Arab Cooperation Council" and ArabCooperationCouncil |
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) | Government.kif 2783-2783 | conventionalLongName "Arab Fund for Economic and Social Development" and ArabFundForEconomicAndSocialDevelopment |
(conventionalLongName "Arab League" ArabLeague) | Government.kif 2790-2790 | conventionalLongName "Arab League" and ArabLeague |
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) | Government.kif 2801-2801 | conventionalLongName "Arab Maghreb Union" and ArabMaghrebUnion |
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) | Government.kif 2810-2810 | conventionalLongName "Arab Monetary Fund" and ArabMonetaryFund |
(conventionalLongName "Asia_Pacific Economic Cooperation" AsiaPacificEconomicCooperation) | Government.kif 2816-2816 | conventionalLongName "Asia_Pacific Economic Cooperation" and AsiaPacificEconomicCooperation |
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank) | Government.kif 2822-2822 | conventionalLongName "Asian Development Bank" and AsianDevelopmentBank |
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) | Government.kif 2828-2828 | conventionalLongName "Association of Southeast Asian Nations" and AssociationOfSoutheastAsianNations |
(conventionalLongName "Australia Group" AustraliaGroup) | Government.kif 2843-2843 | conventionalLongName "Australia Group" and AustraliaGroup |
(conventionalLongName "Australia_New Zealand_United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) | Government.kif 2848-2848 | conventionalLongName "Australia_New Zealand_United States Security Treaty" and AustraliaNewZealandUnitedStatesSecurityTreaty |
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) | Government.kif 2854-2854 | 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 3404-3405 | conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" and HazardousWastesConvention |
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) | Government.kif 2860-2860 | conventionalLongName "Benelux Economic Union" and BeneluxEconomicUnion |
(conventionalLongName "Big Seven" BigSeven) | Government.kif 2869-2869 | conventionalLongName "Big Seven" and BigSeven |
(conventionalLongName "Big Six" BigSix) | Government.kif 2874-2874 | conventionalLongName "Big Six" and BigSix |
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) | Government.kif 2880-2880 | conventionalLongName "Black Sea Economic Cooperation Zone" and BlackSeaEconomicCooperationZone |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |