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 26604-26606
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 26608-26608
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 26609-26609
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 26602-26602
(subrelation conventionalLongName fullName) Media.kif 3286-3286
(subrelation conventionalLongName names) Mid-level-ontology.kif 26611-26611

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 26610-26610

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


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

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


(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) Government.kif 2867-2867
(conventionalLongName "African Union" OrganizationOfAfricanUnity) Government.kif 3725-3725
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2745-2745
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity) Government.kif 2759-2759
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2766-2766
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) Government.kif 2775-2775
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) Government.kif 2792-2792
(conventionalLongName "Antarctic Treaty" AntarcticTreaty) Geography.kif 3113-3113
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2800-2800
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) Government.kif 2808-2808
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) Government.kif 2814-2814
(conventionalLongName "Arab League" ArabLeague) Government.kif 2821-2821
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) Government.kif 2832-2832
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) Government.kif 2841-2841
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation) Government.kif 2847-2847
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank) Government.kif 2853-2853
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) Government.kif 2859-2859
(conventionalLongName "Australia Group" AustraliaGroup) Government.kif 2874-2874
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2879-2879
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) Government.kif 2885-2885
(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 2891-2891
(conventionalLongName "Big Seven" BigSeven) Government.kif 2900-2900
(conventionalLongName "Big Six" BigSix) Government.kif 2905-2905
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) Government.kif 2911-2911

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