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 27210-27212
(domain conventionalLongName 1 SymbolicString) Mid-level-ontology.kif 27214-27214 Le nombre 1 argument de conventionalLongName est une instance de cha�ne sympbolique
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 27215-27215 Le nombre 2 argument de conventionalLongName est une instance de entit�
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 27208-27208 conventionalLongName est une instance de pr�dicat binaire
(subrelation conventionalLongName fullName) Media.kif 3298-3298 conventionalLongName est une sous-relation de fullName
(subrelation conventionalLongName names) Mid-level-ontology.kif 27217-27217 conventionalLongName est une sous-relation de 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 17088-17088
(termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") domainEnglishFormat.kif 17087-17087
(termFormat EnglishLanguage conventionalLongName "conventional long name") domainEnglishFormat.kif 17086-17086
(termFormat EnglishLanguage conventionalLongName "official name") Mid-level-ontology.kif 27216-27216

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


(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2791-2794 Position temporel est une instance de le jour 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations pendant immediatement apr�s position temporel
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2765-2769 Position temporel est une instance de l' ann�e 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity pendant immediatement apr�s position temporel

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


(conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) Government.kif 2875-2875 conventionalLongName "ASEAN Regional Forum" and ASEANRegionalForum
(conventionalLongName "African Union" OrganizationOfAfricanUnity) Government.kif 3733-3733 conventionalLongName "African Union" and OrganizationOfAfricanUnity
(conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) Government.kif 2748-2748 conventionalLongName "African, Caribbean, and Pacific Group of States" and AfricanCaribbeanAndPacificGroupOfStates
(conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity) Government.kif 2762-2762 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 2774-2774 conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) Government.kif 2783-2783 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations
(conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) Government.kif 2800-2800 conventionalLongName "Antarctic Treaty Council" and AntarcticTreatyCouncil
(conventionalLongName "Antarctic Treaty" AntarcticTreaty) Geography.kif 3191-3191 conventionalLongName "Antarctic Treaty" and AntarcticTreaty
(conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) Government.kif 2808-2808 conventionalLongName "Arab Bank for Economic Development in Africa" and ArabBankForEconomicDevelopmentInAfrica
(conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) Government.kif 2816-2816 conventionalLongName "Arab Cooperation Council" and ArabCooperationCouncil
(conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) Government.kif 2822-2822 conventionalLongName "Arab Fund for Economic and Social Development" and ArabFundForEconomicAndSocialDevelopment
(conventionalLongName "Arab League" ArabLeague) Government.kif 2829-2829 conventionalLongName "Arab League" and ArabLeague
(conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) Government.kif 2840-2840 conventionalLongName "Arab Maghreb Union" and ArabMaghrebUnion
(conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) Government.kif 2849-2849 conventionalLongName "Arab Monetary Fund" and ArabMonetaryFund
(conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation) Government.kif 2855-2855 conventionalLongName "Asia-Pacific Economic Cooperation" and AsiaPacificEconomicCooperation
(conventionalLongName "Asian Development Bank" AsianDevelopmentBank) Government.kif 2861-2861 conventionalLongName "Asian Development Bank" and AsianDevelopmentBank
(conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) Government.kif 2867-2867 conventionalLongName "Association of Southeast Asian Nations" and AssociationOfSoutheastAsianNations
(conventionalLongName "Australia Group" AustraliaGroup) Government.kif 2882-2882 conventionalLongName "Australia Group" and AustraliaGroup
(conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) Government.kif 2887-2887 conventionalLongName "Australia-New Zealand-United States Security Treaty" and AustraliaNewZealandUnitedStatesSecurityTreaty
(conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) Government.kif 2893-2893 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 3246-3247 conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" and HazardousWastesConvention
(conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) Government.kif 2899-2899 conventionalLongName "Benelux Economic Union" and BeneluxEconomicUnion
(conventionalLongName "Big Seven" BigSeven) Government.kif 2908-2908 conventionalLongName "Big Seven" and BigSeven
(conventionalLongName "Big Six" BigSix) Government.kif 2913-2913 conventionalLongName "Big Six" and BigSix
(conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) Government.kif 2919-2919 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 3.0 is open source software produced by Articulate Software and its partners