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 26580-26582
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 26584-26584
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 26585-26585
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 26578-26578
(subrelation conventionalLongName fullName) Media.kif 3286-3286
(subrelation conventionalLongName names) Mid-level-ontology.kif 26587-26587

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 17079-17079
(termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") domainEnglishFormat.kif 17078-17078
(termFormat EnglishLanguage conventionalLongName "conventional long name") domainEnglishFormat.kif 17077-17077
(termFormat EnglishLanguage conventionalLongName "official name") Mid-level-ontology.kif 26586-26586

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


(holdsDuring
    (ImmediateFutureFn
        (YearFn 1996))
    (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity))
Government.kif 2750-2750
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2771-2774

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


(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) Government.kif 2855-2855
(conventionalLongName "African Union" OrganizationOfAfricanUnity) Government.kif 3713-3713
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2733-2733
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity) Government.kif 2747-2747
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2754-2754
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) Government.kif 2763-2763
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) Government.kif 2780-2780
(conventionalLongName "Antarctic Treaty" AntarcticTreaty) Geography.kif 3113-3113
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2788-2788
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) Government.kif 2796-2796
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) Government.kif 2802-2802
(conventionalLongName "Arab League" ArabLeague) Government.kif 2809-2809
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) Government.kif 2820-2820
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) Government.kif 2829-2829
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation) Government.kif 2835-2835
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank) Government.kif 2841-2841
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) Government.kif 2847-2847
(conventionalLongName "Australia Group" AustraliaGroup) Government.kif 2862-2862
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2867-2867
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) Government.kif 2873-2873
(conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention) Geography.kif 3168-3169
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) Government.kif 2879-2879
(conventionalLongName "Big Seven" BigSeven) Government.kif 2888-2888
(conventionalLongName "Big Six" BigSix) Government.kif 2893-2893
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) Government.kif 2899-2899

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