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 25471-25473
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 25475-25475 domain conventionalLongName, 1 and SymbolicString
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 25476-25476 domain conventionalLongName, 2 and Entity
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 25469-25469 instance conventionalLongName and BinaryPredicate
(subrelation conventionalLongName fullName) Media.kif 3266-3266 subrelation conventionalLongName and fullName
(subrelation conventionalLongName names) Mid-level-ontology.kif 25478-25478 subrelation conventionalLongName and names

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 17011-17011
(termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") domainEnglishFormat.kif 17010-17010
(termFormat EnglishLanguage conventionalLongName "conventional long name") domainEnglishFormat.kif 17009-17009
(termFormat EnglishLanguage conventionalLongName "official name") Mid-level-ontology.kif 25477-25477

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


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

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


(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) Government.kif 2806-2806 conventionalLongName "ASEAN Regional Forum" and ASEANRegionalForum
(conventionalLongName "African Union" OrganizationOfAfricanUnity) Government.kif 3664-3664 conventionalLongName "African Union" and OrganizationOfAfricanUnity
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2689-2689 conventionalLongName "African, Caribbean, and Pacific Group of States" and AfricanCaribbeanAndPacificGroupOfStates
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity) Government.kif 2703-2703 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity
(conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) Government.kif 2710-2710 conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) Government.kif 2719-2719 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) Government.kif 2731-2731 conventionalLongName "Antarctic Treaty Council" and AntarcticTreatyCouncil
(conventionalLongName "Antarctic Treaty" AntarcticTreaty) Geography.kif 3050-3050 conventionalLongName "Antarctic Treaty" and AntarcticTreaty
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2739-2739 conventionalLongName "Arab Bank for Economic Development in Africa" and ArabBankForEconomicDevelopmentInAfrica
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) Government.kif 2747-2747 conventionalLongName "Arab Cooperation Council" and ArabCooperationCouncil
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) Government.kif 2753-2753 conventionalLongName "Arab Fund for Economic and Social Development" and ArabFundForEconomicAndSocialDevelopment
(conventionalLongName "Arab League" ArabLeague) Government.kif 2760-2760 conventionalLongName "Arab League" and ArabLeague
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) Government.kif 2771-2771 conventionalLongName "Arab Maghreb Union" and ArabMaghrebUnion
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) Government.kif 2780-2780 conventionalLongName "Arab Monetary Fund" and ArabMonetaryFund
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation) Government.kif 2786-2786 conventionalLongName "Asia-Pacific Economic Cooperation" and AsiaPacificEconomicCooperation
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank) Government.kif 2792-2792 conventionalLongName "Asian Development Bank" and AsianDevelopmentBank
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) Government.kif 2798-2798 conventionalLongName "Association of Southeast Asian Nations" and AssociationOfSoutheastAsianNations
(conventionalLongName "Australia Group" AustraliaGroup) Government.kif 2813-2813 conventionalLongName "Australia Group" and AustraliaGroup
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2818-2818 conventionalLongName "Australia-New Zealand-United States Security Treaty" and AustraliaNewZealandUnitedStatesSecurityTreaty
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) Government.kif 2824-2824 conventionalLongName "Bank for International Settlements" and BankForInternationalSettlements
(conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention) Geography.kif 3105-3106 conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" and HazardousWastesConvention
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) Government.kif 2830-2830 conventionalLongName "Benelux Economic Union" and BeneluxEconomicUnion
(conventionalLongName "Big Seven" BigSeven) Government.kif 2839-2839 conventionalLongName "Big Seven" and BigSeven
(conventionalLongName "Big Six" BigSix) Government.kif 2844-2844 conventionalLongName "Big Six" and BigSix
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) Government.kif 2850-2850 conventionalLongName "Black Sea Economic Cooperation Zone" and BlackSeaEconomicCooperationZone

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners