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 conventionalLongName の数値 1 引数は 記号文字列instance では
(domain conventionalLongName 2 Entity) Mid-level-ontology.kif 29116-29116 conventionalLongName の数値 2 引数は エンティティーinstance では
(instance conventionalLongName BinaryPredicate) Mid-level-ontology.kif 29109-29109 conventionalLongName2進述語instance では
(subrelation conventionalLongName fullName) Media.kif 3282-3282 conventionalLongNamefullNamesubrelation では
(subrelation conventionalLongName names) Mid-level-ontology.kif 29118-29118 conventionalLongNamenamessubrelation では

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 時間位置 は 1 day 目 の instance では conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations 時間位置 の すぐ afterduring holds
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2726-2730 時間位置 は 1996 year 目 の instance では conventionalLongName "Agency for the French_Speaking Community" and AgencyForTheFrenchSpeakingCommunity 時間位置 の すぐ afterduring holds

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


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