| 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 28307-28309 | |
| (domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 28311-28311 | The number 1 argument of conventional long name is an instance of symbolic string |
| (domain conventionalLongName 2 Entity) | Mid-level-ontology.kif 28312-28312 | The number 2 argument of conventional long name is an instance of entity |
| (instance conventionalLongName BinaryPredicate) | Mid-level-ontology.kif 28305-28305 | conventional long name is an instance of binary predicate |
| (subrelation conventionalLongName fullName) | Media.kif 3280-3280 | conventional long name is a subrelation of full name |
| (subrelation conventionalLongName names) | Mid-level-ontology.kif 28314-28314 | conventional long name is a subrelation of 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 17103-17103 | |
| (termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") | domainEnglishFormat.kif 17102-17102 | |
| (termFormat EnglishLanguage conventionalLongName "conventional long name") | domainEnglishFormat.kif 17101-17101 | |
| (termFormat EnglishLanguage conventionalLongName "official name") | Mid-level-ontology.kif 28313-28313 |
| statement |
|
|
| (holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))) |
Government.kif 2753-2756 | A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |
| (holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity))) |
Government.kif 2727-2731 | A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French_Speaking Community" holds during immediately after the time position |
| appearance as argument number 0 |
|
|
| (conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) | Government.kif 2837-2837 | ASEAN regional forum is a conventional long name of "ASEAN Regional Forum" |
| (conventionalLongName "African Union" OrganizationOfAfricanUnity) | Government.kif 3695-3695 | Organization of african unity is a conventional long name of "African Union" |
| (conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) | Government.kif 2710-2710 | African caribbean and pacific group of states is a conventional long name of "African, Caribbean, and Pacific Group of States" |
| (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2724-2724 | Agency for the french speaking community is a conventional long name of "Agency for the French_Speaking Community" |
| (conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean) | Government.kif 2736-2736 | 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" |
| (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) | Government.kif 2745-2745 | Andean community of nations is a conventional long name of "Andean Community of Nations" |
| (conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) | Government.kif 2762-2762 | Antarctic treaty council is a conventional long name of "Antarctic Treaty Council" |
| (conventionalLongName "Antarctic Treaty" AntarcticTreaty) | Geography.kif 3179-3179 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| (conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) | Government.kif 2770-2770 | Arab bank for economic development in africa is a conventional long name of "Arab Bank for Economic Development in Africa" |
| (conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) | Government.kif 2778-2778 | Arab cooperation council is a conventional long name of "Arab Cooperation Council" |
| (conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) | Government.kif 2784-2784 | Arab fund for economic and social development is a conventional long name of "Arab Fund for Economic and Social Development" |
| (conventionalLongName "Arab League" ArabLeague) | Government.kif 2791-2791 | Arab league is a conventional long name of "Arab League" |
| (conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) | Government.kif 2802-2802 | Arab maghreb union is a conventional long name of "Arab Maghreb Union" |
| (conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) | Government.kif 2811-2811 | Arab monetary fund is a conventional long name of "Arab Monetary Fund" |
| (conventionalLongName "Asia_Pacific Economic Cooperation" AsiaPacificEconomicCooperation) | Government.kif 2817-2817 | Asia pacific economic cooperation is a conventional long name of "Asia_Pacific Economic Cooperation" |
| (conventionalLongName "Asian Development Bank" AsianDevelopmentBank) | Government.kif 2823-2823 | Asian development bank is a conventional long name of "Asian Development Bank" |
| (conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) | Government.kif 2829-2829 | Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations" |
| (conventionalLongName "Australia Group" AustraliaGroup) | Government.kif 2844-2844 | Australia group is a conventional long name of "Australia Group" |
| (conventionalLongName "Australia_New Zealand_United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) | Government.kif 2849-2849 | Australia new zealand united states security treaty is a conventional long name of "Australia_New Zealand_United States Security Treaty" |
| (conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) | Government.kif 2855-2855 | Bank for international settlements is a conventional long name of "Bank for International Settlements" |
| (conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention) | Geography.kif 3234-3235 | Hazardous wastes convention is a conventional long name of "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" |
| (conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) | Government.kif 2861-2861 | Benelux economic union is a conventional long name of "Benelux Economic Union" |
| (conventionalLongName "Big Seven" BigSeven) | Government.kif 2870-2870 | Big seven is a conventional long name of "Big Seven" |
| (conventionalLongName "Big Six" BigSix) | Government.kif 2875-2875 | Big six is a conventional long name of "Big Six" |
| (conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) | Government.kif 2881-2881 | 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