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

Formal Language: 



KB Term:  Term intersection
English Word: 

  conventionalLongName

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
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 27215-27215
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 27208-27208
(subrelation conventionalLongName fullName) Media.kif 3298-3298
(subrelation conventionalLongName names) Mid-level-ontology.kif 27217-27217

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
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2765-2769

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


(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) Government.kif 2875-2875
(conventionalLongName "African Union" OrganizationOfAfricanUnity) Government.kif 3733-3733
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2748-2748
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity) Government.kif 2762-2762
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2774-2774
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) Government.kif 2783-2783
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) Government.kif 2800-2800
(conventionalLongName "Antarctic Treaty" AntarcticTreaty) Geography.kif 3191-3191
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2808-2808
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) Government.kif 2816-2816
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) Government.kif 2822-2822
(conventionalLongName "Arab League" ArabLeague) Government.kif 2829-2829
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) Government.kif 2840-2840
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) Government.kif 2849-2849
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation) Government.kif 2855-2855
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank) Government.kif 2861-2861
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) Government.kif 2867-2867
(conventionalLongName "Australia Group" AustraliaGroup) Government.kif 2882-2882
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2887-2887
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) Government.kif 2893-2893
(conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention) Geography.kif 3246-3247
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) Government.kif 2899-2899
(conventionalLongName "Big Seven" BigSeven) Government.kif 2908-2908
(conventionalLongName "Big Six" BigSix) Government.kif 2913-2913
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) Government.kif 2919-2919

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)

Show without tree


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