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 26580-26582
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 26584-26584 domain conventionalLongName, 1 and SymbolicString
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 26585-26585 domain conventionalLongName, 2 and Entity
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 26578-26578 instance conventionalLongName and BinaryPredicate
(subrelation conventionalLongName fullName) Media.kif 3286-3286 subrelation conventionalLongName and fullName
(subrelation conventionalLongName names) Mid-level-ontology.kif 26587-26587 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 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 YearFn 1996 and conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2771-2774 holdsDuring ImmediateFutureFn TimePosition and instance TimePosition and DayFn 1 and MonthFn October and YearFn 1992 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations

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


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