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 29111-29113
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 29115-29115
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 29116-29116
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 29109-29109
(subrelation conventionalLongName fullName) Media.kif 3282-3282
(subrelation conventionalLongName names) Mid-level-ontology.kif 29118-29118

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 17097-17097
(termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") domainEnglishFormat.kif 17096-17096
(termFormat EnglishLanguage conventionalLongName "conventional long name") domainEnglishFormat.kif 17095-17095
(termFormat EnglishLanguage conventionalLongName "official name") Mid-level-ontology.kif 29117-29117

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


(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2752-2755
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2726-2730

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


(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) Government.kif 2836-2836
(conventionalLongName "African Union" OrganizationOfAfricanUnity) Government.kif 3694-3694
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2709-2709
(conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity) Government.kif 2723-2723
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2735-2735
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) Government.kif 2744-2744
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) Government.kif 2761-2761
(conventionalLongName "Antarctic Treaty" AntarcticTreaty) Geography.kif 3349-3349
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2769-2769
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) Government.kif 2777-2777
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) Government.kif 2783-2783
(conventionalLongName "Arab League" ArabLeague) Government.kif 2790-2790
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) Government.kif 2801-2801
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) Government.kif 2810-2810
(conventionalLongName "Asia_Pacific Economic Cooperation" AsiaPacificEconomicCooperation) Government.kif 2816-2816
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank) Government.kif 2822-2822
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) Government.kif 2828-2828
(conventionalLongName "Australia Group" AustraliaGroup) Government.kif 2843-2843
(conventionalLongName "Australia_New Zealand_United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2848-2848
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) Government.kif 2854-2854
(conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention) Geography.kif 3404-3405
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) Government.kif 2860-2860
(conventionalLongName "Big Seven" BigSeven) Government.kif 2869-2869
(conventionalLongName "Big Six" BigSix) Government.kif 2874-2874
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) Government.kif 2880-2880

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