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 25577-25579
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 25581-25581
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 25582-25582
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 25575-25575
(subrelation conventionalLongName fullName) Media.kif 3268-3268
(subrelation conventionalLongName names) Mid-level-ontology.kif 25584-25584

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 17086-17086
(termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") domainEnglishFormat.kif 17085-17085
(termFormat EnglishLanguage conventionalLongName "conventional long name") domainEnglishFormat.kif 17084-17084
(termFormat EnglishLanguage conventionalLongName "official name") Mid-level-ontology.kif 25583-25583

statement
-------------------------


(holdsDuring
    (ImmediateFutureFn
        (DayFn 1
            (MonthFn October
                (YearFn 1992))))
    (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))
Government.kif 2758-2758
(holdsDuring
    (ImmediateFutureFn
        (YearFn 1996))
    (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity))
Government.kif 2738-2738

appearance as argument number 0
-------------------------


(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) Government.kif 2838-2838
(conventionalLongName "African Union" OrganizationOfAfricanUnity) Government.kif 3696-3696
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2721-2721
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity) Government.kif 2735-2735
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2742-2742
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) Government.kif 2751-2751
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) Government.kif 2763-2763
(conventionalLongName "Antarctic Treaty" AntarcticTreaty) Geography.kif 3072-3072
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2771-2771
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) Government.kif 2779-2779
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) Government.kif 2785-2785
(conventionalLongName "Arab League" ArabLeague) Government.kif 2792-2792
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) Government.kif 2803-2803
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) Government.kif 2812-2812
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation) Government.kif 2818-2818
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank) Government.kif 2824-2824
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) Government.kif 2830-2830
(conventionalLongName "Australia Group" AustraliaGroup) Government.kif 2845-2845
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2850-2850
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) Government.kif 2856-2856
(conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention) Geography.kif 3127-3128
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) Government.kif 2862-2862
(conventionalLongName "Big Seven" BigSeven) Government.kif 2871-2871
(conventionalLongName "Big Six" BigSix) Government.kif 2876-2876
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) Government.kif 2882-2882

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