| 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 27210-27212 | |
| (domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 27214-27214 | 域 傳統的長名, 1 and SymbolicString |
| (domain conventionalLongName 2 Entity) | Mid-level-ontology.kif 27215-27215 | 域 傳統的長名, 2 and Entity |
| (instance conventionalLongName BinaryPredicate) | Mid-level-ontology.kif 27208-27208 | 例 傳統的長名 and BinaryPredicate |
| (subrelation conventionalLongName fullName) | Media.kif 3298-3298 | 子關係 傳統的長名 and fullName |
| (subrelation conventionalLongName names) | Mid-level-ontology.kif 27217-27217 | 子關係 傳統的長名 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 27216-27216 |
| statement |
|
|
| (holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))) |
Government.kif 2791-2794 | 持有期間 眼前的未來 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 2765-2769 | 持有期間 眼前的未來 TimePosition and 例 TimePosition and 年 1996 法語社區的代理機構 是 "Agency for the French-Speaking Community" 的 conventional 全名 |
| appearance as argument number 0 |
|
|
| (conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) | Government.kif 2875-2875 | 東盟區域論壇 是 "ASEAN Regional Forum" 的 conventional 全名 |
| (conventionalLongName "African Union" OrganizationOfAfricanUnity) | Government.kif 3733-3733 | 非洲統一組織 是 "African Union" 的 conventional 全名 |
| (conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) | Government.kif 2748-2748 | 非洲加勒比和太平洋國家集團 是 "African, Caribbean, and Pacific Group of States" 的 conventional 全名 |
| (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2762-2762 | 法語社區的代理機構 是 "Agency for the French-Speaking Community" 的 conventional 全名 |
| (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" 的 conventional 全名 |
| (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) | Government.kif 2783-2783 | 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名 |
| (conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) | Government.kif 2800-2800 | 南極條約理事會 是 "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 2808-2808 | 阿拉伯非洲經濟發展銀行 是 "Arab Bank for Economic Development in Africa" 的 conventional 全名 |
| (conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) | Government.kif 2816-2816 | 阿拉伯合作理事會 是 "Arab Cooperation Council" 的 conventional 全名 |
| (conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) | Government.kif 2822-2822 | 阿拉伯經濟和社會發展基金 是 "Arab Fund for Economic and Social Development" 的 conventional 全名 |
| (conventionalLongName "Arab League" ArabLeague) | Government.kif 2829-2829 | 阿拉伯聯盟 是 "Arab League" 的 conventional 全名 |
| (conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) | Government.kif 2840-2840 | 阿拉伯馬格里布聯盟 是 "Arab Maghreb Union" 的 conventional 全名 |
| (conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) | Government.kif 2849-2849 | 阿拉伯貨幣基金 是 "Arab Monetary Fund" 的 conventional 全名 |
| (conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation) | Government.kif 2855-2855 | 亞太經濟合作 是 "Asia-Pacific Economic Cooperation" 的 conventional 全名 |
| (conventionalLongName "Asian Development Bank" AsianDevelopmentBank) | Government.kif 2861-2861 | 亞洲開發銀行 是 "Asian Development Bank" 的 conventional 全名 |
| (conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) | Government.kif 2867-2867 | 東南亞國家聯盟 是 "Association of Southeast Asian Nations" 的 conventional 全名 |
| (conventionalLongName "Australia Group" AustraliaGroup) | Government.kif 2882-2882 | 澳大利亞集團 是 "Australia Group" 的 conventional 全名 |
| (conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) | Government.kif 2887-2887 | 澳大利亞新西蘭美國安全條約 是 "Australia-New Zealand-United States Security Treaty" 的 conventional 全名 |
| (conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) | Government.kif 2893-2893 | 國際結算銀行 是 "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 2899-2899 | 比荷盧經濟聯盟 是 "Benelux Economic Union" 的 conventional 全名 |
| (conventionalLongName "Big Seven" BigSeven) | Government.kif 2908-2908 | 大七 是 "Big Seven" 的 conventional 全名 |
| (conventionalLongName "Big Six" BigSix) | Government.kif 2913-2913 | 大六 是 "Big Six" 的 conventional 全名 |
| (conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) | Government.kif 2919-2919 | 黑海經濟合作區 是 "Black Sea Economic Cooperation Zone" 的 conventional 全名 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners