| 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 25496-25498 | |
| (domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 25500-25500 | domain conventionalLongName, 1 and SymbolicString |
| (domain conventionalLongName 2 Entity) | Mid-level-ontology.kif 25501-25501 | domain conventionalLongName, 2 and Entity |
| (instance conventionalLongName BinaryPredicate) | Mid-level-ontology.kif 25494-25494 | instance conventionalLongName and BinaryPredicate |
| (subrelation conventionalLongName fullName) | Media.kif 3266-3266 | subrelation conventionalLongName and fullName |
| (subrelation conventionalLongName names) | Mid-level-ontology.kif 25503-25503 | subrelation conventionalLongName and 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 17011-17011 | |
| (termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") | domainEnglishFormat.kif 17010-17010 | |
| (termFormat EnglishLanguage conventionalLongName "conventional long name") | domainEnglishFormat.kif 17009-17009 | |
| (termFormat EnglishLanguage conventionalLongName "official name") | Mid-level-ontology.kif 25502-25502 |
| statement |
|
|
| (holdsDuring (ImmediateFutureFn (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)) |
Government.kif 2726-2726 | holdsDuring ImmediateFutureFn DayFn 1 and MonthFn October and YearFn 1992 and conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations |
| (holdsDuring (ImmediateFutureFn (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)) |
Government.kif 2706-2706 | holdsDuring ImmediateFutureFn YearFn 1996 and conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity |
| appearance as argument number 0 |
|
|
| (conventionalLongName "ASEAN Regional Forum" ASEANRegionalForum) | Government.kif 2806-2806 | conventionalLongName "ASEAN Regional Forum" and ASEANRegionalForum |
| (conventionalLongName "African Union" OrganizationOfAfricanUnity) | Government.kif 3664-3664 | conventionalLongName "African Union" and OrganizationOfAfricanUnity |
| (conventionalLongName "African, Caribbean, and Pacific Group of States" AfricanCaribbeanAndPacificGroupOfStates) | Government.kif 2689-2689 | conventionalLongName "African, Caribbean, and Pacific Group of States" and AfricanCaribbeanAndPacificGroupOfStates |
| (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity) | Government.kif 2703-2703 | 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 2710-2710 | conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean |
| (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations) | Government.kif 2719-2719 | conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations |
| (conventionalLongName "Antarctic Treaty Council" AntarcticTreatyCouncil) | Government.kif 2731-2731 | conventionalLongName "Antarctic Treaty Council" and AntarcticTreatyCouncil |
| (conventionalLongName "Antarctic Treaty" AntarcticTreaty) | Geography.kif 3050-3050 | conventionalLongName "Antarctic Treaty" and AntarcticTreaty |
| (conventionalLongName "Arab Bank for Economic Development in Africa" ArabBankForEconomicDevelopmentInAfrica) | Government.kif 2739-2739 | conventionalLongName "Arab Bank for Economic Development in Africa" and ArabBankForEconomicDevelopmentInAfrica |
| (conventionalLongName "Arab Cooperation Council" ArabCooperationCouncil) | Government.kif 2747-2747 | conventionalLongName "Arab Cooperation Council" and ArabCooperationCouncil |
| (conventionalLongName "Arab Fund for Economic and Social Development" ArabFundForEconomicAndSocialDevelopment) | Government.kif 2753-2753 | conventionalLongName "Arab Fund for Economic and Social Development" and ArabFundForEconomicAndSocialDevelopment |
| (conventionalLongName "Arab League" ArabLeague) | Government.kif 2760-2760 | conventionalLongName "Arab League" and ArabLeague |
| (conventionalLongName "Arab Maghreb Union" ArabMaghrebUnion) | Government.kif 2771-2771 | conventionalLongName "Arab Maghreb Union" and ArabMaghrebUnion |
| (conventionalLongName "Arab Monetary Fund" ArabMonetaryFund) | Government.kif 2780-2780 | conventionalLongName "Arab Monetary Fund" and ArabMonetaryFund |
| (conventionalLongName "Asia-Pacific Economic Cooperation" AsiaPacificEconomicCooperation) | Government.kif 2786-2786 | conventionalLongName "Asia-Pacific Economic Cooperation" and AsiaPacificEconomicCooperation |
| (conventionalLongName "Asian Development Bank" AsianDevelopmentBank) | Government.kif 2792-2792 | conventionalLongName "Asian Development Bank" and AsianDevelopmentBank |
| (conventionalLongName "Association of Southeast Asian Nations" AssociationOfSoutheastAsianNations) | Government.kif 2798-2798 | conventionalLongName "Association of Southeast Asian Nations" and AssociationOfSoutheastAsianNations |
| (conventionalLongName "Australia Group" AustraliaGroup) | Government.kif 2813-2813 | conventionalLongName "Australia Group" and AustraliaGroup |
| (conventionalLongName "Australia-New Zealand-United States Security Treaty" AustraliaNewZealandUnitedStatesSecurityTreaty) | Government.kif 2818-2818 | conventionalLongName "Australia-New Zealand-United States Security Treaty" and AustraliaNewZealandUnitedStatesSecurityTreaty |
| (conventionalLongName "Bank for International Settlements" BankForInternationalSettlements) | Government.kif 2824-2824 | 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 3105-3106 | conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" and HazardousWastesConvention |
| (conventionalLongName "Benelux Economic Union" BeneluxEconomicUnion) | Government.kif 2830-2830 | conventionalLongName "Benelux Economic Union" and BeneluxEconomicUnion |
| (conventionalLongName "Big Seven" BigSeven) | Government.kif 2839-2839 | conventionalLongName "Big Seven" and BigSeven |
| (conventionalLongName "Big Six" BigSix) | Government.kif 2844-2844 | conventionalLongName "Big Six" and BigSix |
| (conventionalLongName "Black Sea Economic Cooperation Zone" BlackSeaEconomicCooperationZone) | Government.kif 2850-2850 | 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