Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - conventionalLongName
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 27210-27212
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 27214-27214 传统的长名 的 1 数量 是 符号串instance
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 27215-27215 传统的长名 的 2 数量 是 实体instance
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 27208-27208 传统的长名二元谓语instance
(subrelation conventionalLongName fullName) Media.kif 3298-3298 传统的长名fullNamesubrelation
(subrelation conventionalLongName names) Mid-level-ontology.kif 27217-27217 传统的长名命名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 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 时间位置 是 1 dayinstance安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2765-2769 时间位置 是 1996 yearinstance法语社区的代理机构 是 "Agency for the French-Speaking Community" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring

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