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
-------------------------


s__documentation(s__conventionalLongName__m,s__EnglishLanguage,'"(conventionalLongName ?NAME ?THING) means that the string ?NAME is the long form of the name conventionally used for ?THING."')

Mid-level-ontology.kif 25901-25903
s__domain(s__conventionalLongName__m,n__1,s__SymbolicString)

Mid-level-ontology.kif 25905-25905 The number 1 argument of conventional long name is an instance of symbolic string
s__domain(s__conventionalLongName__m,n__2,s__Entity)

Mid-level-ontology.kif 25906-25906 The number 2 argument of conventional long name is an instance of entity
s__instance(s__conventionalLongName__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 25899-25899 conventional long name is an instance of binary predicate
s__subrelation(s__conventionalLongName__m,s__fullName__m)

Media.kif 3268-3268 conventional long name is a subrelation of fullName
s__subrelation(s__conventionalLongName__m,s__names__m)

Mid-level-ontology.kif 25908-25908 conventional long name is a subrelation of names

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__conventionalLongName__m,'"%2 %n 是 %1 的 conventional 全名"')

domainEnglishFormat.kif 544-544
s__format(s__ChineseTraditionalLanguage,s__conventionalLongName__m,'"%2 %n 是 %1 的 conventional 全名"')

domainEnglishFormat.kif 543-543
s__format(s__EnglishLanguage,s__conventionalLongName__m,'"%2 is %n a conventional long name of %1"')

domainEnglishFormat.kif 542-542
s__termFormat(s__ChineseLanguage,s__conventionalLongName__m,'"传统的长名"')

domainEnglishFormat.kif 17079-17079
s__termFormat(s__ChineseTraditionalLanguage,s__conventionalLongName__m,'"傳統的長名"')

domainEnglishFormat.kif 17078-17078
s__termFormat(s__EnglishLanguage,s__conventionalLongName__m,'"conventional long name"')

domainEnglishFormat.kif 17077-17077
s__termFormat(s__EnglishLanguage,s__conventionalLongName__m,'"official name"')

Mid-level-ontology.kif 25907-25907

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2766-2766 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2746-2746 Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the year 1996

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


s__conventionalLongName('"ASEAN Regional Forum"',s__ASEANRegionalForum)

Government.kif 2846-2846 ASEAN regional forum is a conventional long name of "ASEAN Regional Forum"
s__conventionalLongName('"African Union"',s__OrganizationOfAfricanUnity)

Government.kif 3704-3704 Organization of african unity is a conventional long name of "African Union"
s__conventionalLongName('"African, Caribbean, and Pacific Group of States"',s__AfricanCaribbeanAndPacificGroupOfStates)

Government.kif 2729-2729 African caribbean and pacific group of states is a conventional long name of "African, Caribbean, and Pacific Group of States"
s__conventionalLongName('"Agency for the French-Speaking Community"',s__AgencyForTheFrenchSpeakingCommunity)

Government.kif 2743-2743 Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community"
s__conventionalLongName('"Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean"',s__AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean)

Government.kif 2750-2750 Agency for the prohibition of nuclear weapons in latin america and the caribbean is a conventional long name of "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean"
s__conventionalLongName('"Andean Community of Nations"',s__AndeanCommunityOfNations)

Government.kif 2759-2759 Andean community of nations is a conventional long name of "Andean Community of Nations"
s__conventionalLongName('"Antarctic Treaty Council"',s__AntarcticTreatyCouncil)

Government.kif 2771-2771 Antarctic treaty council is a conventional long name of "Antarctic Treaty Council"
s__conventionalLongName('"Antarctic Treaty"',s__AntarcticTreaty)

Geography.kif 3072-3072 Antarctic treaty is a conventional long name of "Antarctic Treaty"
s__conventionalLongName('"Arab Bank for Economic Development in Africa"',s__ArabBankForEconomicDevelopmentInAfrica)

Government.kif 2779-2779 Arab bank for economic development in africa is a conventional long name of "Arab Bank for Economic Development in Africa"
s__conventionalLongName('"Arab Cooperation Council"',s__ArabCooperationCouncil)

Government.kif 2787-2787 Arab cooperation council is a conventional long name of "Arab Cooperation Council"
s__conventionalLongName('"Arab Fund for Economic and Social Development"',s__ArabFundForEconomicAndSocialDevelopment)

Government.kif 2793-2793 Arab fund for economic and social development is a conventional long name of "Arab Fund for Economic and Social Development"
s__conventionalLongName('"Arab League"',s__ArabLeague)

Government.kif 2800-2800 Arab league is a conventional long name of "Arab League"
s__conventionalLongName('"Arab Maghreb Union"',s__ArabMaghrebUnion)

Government.kif 2811-2811 Arab maghreb union is a conventional long name of "Arab Maghreb Union"
s__conventionalLongName('"Arab Monetary Fund"',s__ArabMonetaryFund)

Government.kif 2820-2820 Arab monetary fund is a conventional long name of "Arab Monetary Fund"
s__conventionalLongName('"Asia-Pacific Economic Cooperation"',s__AsiaPacificEconomicCooperation)

Government.kif 2826-2826 Asia pacific economic cooperation is a conventional long name of "Asia-Pacific Economic Cooperation"
s__conventionalLongName('"Asian Development Bank"',s__AsianDevelopmentBank)

Government.kif 2832-2832 Asian development bank is a conventional long name of "Asian Development Bank"
s__conventionalLongName('"Association of Southeast Asian Nations"',s__AssociationOfSoutheastAsianNations)

Government.kif 2838-2838 Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations"
s__conventionalLongName('"Australia Group"',s__AustraliaGroup)

Government.kif 2853-2853 Australia group is a conventional long name of "Australia Group"
s__conventionalLongName('"Australia-New Zealand-United States Security Treaty"',s__AustraliaNewZealandUnitedStatesSecurityTreaty)

Government.kif 2858-2858 Australia new zealand united states security treaty is a conventional long name of "Australia-New Zealand-United States Security Treaty"
s__conventionalLongName('"Bank for International Settlements"',s__BankForInternationalSettlements)

Government.kif 2864-2864 Bank for international settlements is a conventional long name of "Bank for International Settlements"
s__conventionalLongName('"Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal"',s__HazardousWastesConvention)

Geography.kif 3127-3128 Hazardous wastes convention is a conventional long name of "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal"
s__conventionalLongName('"Benelux Economic Union"',s__BeneluxEconomicUnion)

Government.kif 2870-2870 Benelux economic union is a conventional long name of "Benelux Economic Union"
s__conventionalLongName('"Big Seven"',s__BigSeven)

Government.kif 2879-2879 Big seven is a conventional long name of "Big Seven"
s__conventionalLongName('"Big Six"',s__BigSix)

Government.kif 2884-2884 Big six is a conventional long name of "Big Six"
s__conventionalLongName('"Black Sea Economic Cooperation Zone"',s__BlackSeaEconomicCooperationZone)

Government.kif 2890-2890 Black sea economic cooperation zone is a conventional long name of "Black Sea Economic Cooperation Zone"

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