| 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 25025-25027 | |
| s__domain(s__conventionalLongName__m,1,s__SymbolicString)
|
Mid-level-ontology.kif 25029-25029 | The number 1 argument of official name is an instance of symbolic string |
| s__domain(s__conventionalLongName__m,2,s__Entity)
|
Mid-level-ontology.kif 25030-25030 | The number 2 argument of official name is an instance of entity |
| s__instance(s__conventionalLongName__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)
|
Mid-level-ontology.kif 25023-25023 | official name is an instance of binary predicate |
| s__subrelation(s__conventionalLongName__m,s__fullName__m)
|
Media.kif 3213-3213 | official name is a subrelation of fullName |
| s__subrelation(s__conventionalLongName__m,s__names__m)
|
Mid-level-ontology.kif 25032-25032 | official name is a subrelation of names |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage,s__conventionalLongName__m,'%2 is %n a conventional long name of %1')
|
domainEnglishFormat.kif 145-145 | |
| s__termFormat(s__EnglishLanguage,s__conventionalLongName__m,'conventional long name')
|
domainEnglishFormat.kif 3269-3269 | "conventional long name" is the printable form of official name in english language |
| s__termFormat(s__EnglishLanguage,s__conventionalLongName__m,'official name')
|
Mid-level-ontology.kif 25031-25031 | "official name" is the printable form of official name in english language |
| statement |
|
|
| s__holdsDuring(s__ImmediateFutureFn(s__DayFn(1,s__MonthFn(s__October,s__YearFn(1992)))) ,'s__conventionalLongName('Andean Community of Nations',s__AndeanCommunityOfNations)')
|
Government.kif 2732-2732 | Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1 |
| s__holdsDuring(s__ImmediateFutureFn(s__YearFn(1996)) ,'s__conventionalLongName('Agency for the French-Speaking Community',s__AgencyForTheFrenchSpeakingCommunity)')
|
Government.kif 2712-2712 | 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 2812-2812 | ASEAN regional forum is a conventional long name of "ASEAN Regional Forum" |
| s__conventionalLongName('African Union',s__OrganizationOfAfricanUnity)
|
Government.kif 3670-3670 | 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 2695-2695 | 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 2709-2709 | 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 2716-2716 | 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 2725-2725 | Andean community of nations is a conventional long name of "Andean Community of Nations" |
| s__conventionalLongName('Antarctic Treaty Council',s__AntarcticTreatyCouncil)
|
Government.kif 2737-2737 | Antarctic treaty council is a conventional long name of "Antarctic Treaty Council" |
| s__conventionalLongName('Antarctic Treaty',s__AntarcticTreaty)
|
Geography.kif 3037-3037 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| s__conventionalLongName('Arab Bank for Economic Development in Africa',s__ArabBankForEconomicDevelopmentInAfrica)
|
Government.kif 2745-2745 | 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 2753-2753 | 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 2759-2759 | 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 2766-2766 | Arab league is a conventional long name of "Arab League" |
| s__conventionalLongName('Arab Maghreb Union',s__ArabMaghrebUnion)
|
Government.kif 2777-2777 | Arab maghreb union is a conventional long name of "Arab Maghreb Union" |
| s__conventionalLongName('Arab Monetary Fund',s__ArabMonetaryFund)
|
Government.kif 2786-2786 | Arab monetary fund is a conventional long name of "Arab Monetary Fund" |
| s__conventionalLongName('Asia-Pacific Economic Cooperation',s__AsiaPacificEconomicCooperation)
|
Government.kif 2792-2792 | Asia pacific economic cooperation is a conventional long name of "Asia-Pacific Economic Cooperation" |
| s__conventionalLongName('Asian Development Bank',s__AsianDevelopmentBank)
|
Government.kif 2798-2798 | Asian development bank is a conventional long name of "Asian Development Bank" |
| s__conventionalLongName('Association of Southeast Asian Nations',s__AssociationOfSoutheastAsianNations)
|
Government.kif 2804-2804 | Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations" |
| s__conventionalLongName('Australia Group',s__AustraliaGroup)
|
Government.kif 2819-2819 | Australia group is a conventional long name of "Australia Group" |
| s__conventionalLongName('Australia-New Zealand-United States Security Treaty',s__AustraliaNewZealandUnitedStatesSecurityTreaty)
|
Government.kif 2824-2824 | 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 2830-2830 | 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 3092-3093 | 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 2836-2836 | Benelux economic union is a conventional long name of "Benelux Economic Union" |
| s__conventionalLongName('Big Seven',s__BigSeven)
|
Government.kif 2845-2845 | Big seven is a conventional long name of "Big Seven" |
| s__conventionalLongName('Big Six',s__BigSix)
|
Government.kif 2850-2850 | Big six is a conventional long name of "Big Six" |
| s__conventionalLongName('Black Sea Economic Cooperation Zone',s__BlackSeaEconomicCooperationZone)
|
Government.kif 2856-2856 | 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners