Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| conventionalLongName |
| appearance as argument number 1 |
|
| (subrelation conventionalLongName fullName) | Mid-level-ontology.kif 29816-29816 | official name is a subrelation of full name |
| (instance conventionalLongName BinaryPredicate) | Mid-level-ontology.kif 29818-29818 | official name is an instance of binary predicate |
| (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 29819-29821 | official name is an instance of binary predicate |
| (domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 29822-29822 | The number 1 argument of official name is an instance of symbolic string |
| (domain conventionalLongName 2 Entity) | Mid-level-ontology.kif 29823-29823 | The number 2 argument of official name is an instance of entity |
| (subrelation conventionalLongName names) | Mid-level-ontology.kif 29825-29825 | official name is a subrelation of names |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage conventionalLongName "official name") | Mid-level-ontology.kif 29824-29824 | |
| (format EnglishLanguage conventionalLongName "%2 is %n a conventional long name of %1") | domainEnglishFormat.kif 542-542 | |
| (format ChineseTraditionalLanguage conventionalLongName "%2 %n 是 %1 的 conventional 全名") | domainEnglishFormat.kif 543-543 | |
| (format ChineseLanguage conventionalLongName "%2 %n 是 %1 的 conventional 全名") | domainEnglishFormat.kif 544-544 | |
| (termFormat EnglishLanguage conventionalLongName "conventional long name") | domainEnglishFormat.kif 17088-17088 | |
| (termFormat ChineseTraditionalLanguage conventionalLongName "傳統的長名") | domainEnglishFormat.kif 17089-17089 | |
| (termFormat ChineseLanguage conventionalLongName "传统的长名") | domainEnglishFormat.kif 17090-17090 |
| statement |
|
|
| (holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity))) |
Government.kif 2757-2761 | X 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 X |
| (holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))) |
Government.kif 2783-2786 | X is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after X |
| appearance as argument number 0 |
|
|
| (conventionalLongName "Federated States of Micronesia" Micronesia) | CountriesAndRegions.kif 4210-4210 | Micronesia is a conventional long name of "Federated States of Micronesia" |
| (conventionalLongName "Developed Country" DevelopedCountry) | Economy.kif 128-128 | Developed country is a conventional long name of "Developed Country" |
| (conventionalLongName "Less Developed Country" LessDevelopedCountry) | Economy.kif 207-207 | Less developed country is a conventional long name of "Less Developed Country" |
| (conventionalLongName "Least Developed Countries" LeastDevelopedCountry) | Economy.kif 401-401 | Least developed country is a conventional long name of "Least Developed Countries" |
| (conventionalLongName "Convention on Long_Range Transboundary Air Pollution" AirPollutionConvention) | Geography.kif 4572-4572 | Air pollution convention is a conventional long name of "Convention on Long_Range Transboundary Air Pollution" |
| (conventionalLongName "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution Concerning the Control of Emissions of Nitrogen Oxides or Their Transboundary Fluxes" AirPollution_NitrogenOxidesProtocol) | Geography.kif 4578-4580 | Air pollution- nitrogen oxides protocol is a conventional long name of "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution Concerning the Control of Emissions of Nitrogen Oxides or Their Transboundary Fluxes" |
| (conventionalLongName "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution on Persistent Organic Pollutants" AirPollution_PeristentOrganicPollutantsProtocol) | Geography.kif 4584-4585 | Air pollution- peristent organic pollutants protocol is a conventional long name of "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution on Persistent Organic Pollutants" |
| (conventionalLongName "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution on the Reduction of Sulphur Emissions or Their Transboundary Fluxes by at least 30%" AirPollution_Sulphur85Protocol) | Geography.kif 4589-4591 | Air pollution- sulphur85 protocol is a conventional long name of "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution on the Reduction of Sulphur Emissions or Their Transboundary Fluxes by at least 30%" |
| (conventionalLongName "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution on Further Reduction of Sulphur Emissions" AirPollution_Sulphur94Protocol) | Geography.kif 4595-4596 | Air pollution- sulphur94 protocol is a conventional long name of "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution on Further Reduction of Sulphur Emissions" |
| (conventionalLongName "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution Concerning the Control of Emissions of Volatile Organic Compounds or Their Transboundary Fluxes" AirPollution_VolatileOrganicCompoundsProtocol) | Geography.kif 4600-4602 | Air pollution- volatile organic compounds protocol is a conventional long name of "Protocol to the 1979 Convention on Long_Range Transboundary Air Pollution Concerning the Control of Emissions of Volatile Organic Compounds or Their Transboundary Fluxes" |
| (conventionalLongName "Protocol on Environmental Protection to the Antarctic Treaty" Antarctic_EnvironmentalProtocol) | Geography.kif 4606-4607 | Antarctic environmental protocol is a conventional long name of "Protocol on Environmental Protection to the Antarctic Treaty" |
| (conventionalLongName "Convention on the Conservation of Antarctic Marine Living Resources" Antarctic_MarineLivingResourcesConvention) | Geography.kif 4611-4612 | Antarctic marine living resources convention is a conventional long name of "Convention on the Conservation of Antarctic Marine Living Resources" |
| (conventionalLongName "Convention for the Conservation of Antarctic Seals" AntarcticSealsConvention) | Geography.kif 4618-4618 | Antarctic seals convention is a conventional long name of "Convention for the Conservation of Antarctic Seals" |
| (conventionalLongName "Antarctic Treaty" AntarcticTreaty) | Geography.kif 4623-4623 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| (conventionalLongName "Convention on Biological Diversity" BiodiversityConvention) | Geography.kif 4645-4645 | Biodiversity convention is a conventional long name of "Convention on Biological Diversity" |
| (conventionalLongName "United Nations Framework Convention on Climate Change" ClimateChangeConvention) | Geography.kif 4649-4649 | Climate change convention is a conventional long name of "United Nations Framework Convention on Climate Change" |
| (conventionalLongName "Kyoto Protocol to the United Nations Framework Convention on Climate Change" ClimateChange_KyotoProtocol) | Geography.kif 4655-4656 | Climate change- kyoto protocol is a conventional long name of "Kyoto Protocol to the United Nations Framework Convention on Climate Change" |
| (conventionalLongName "United Nations Convention to Combat Desertification in those Countries Experiencing Serious Drought or Desertification, Particularly in Africa" DesertificationConvention) | Geography.kif 4663-4664 | Desertification convention is a conventional long name of "United Nations Convention to Combat Desertification in those Countries Experiencing Serious Drought or Desertification, Particularly in Africa" |
| (conventionalLongName "Convention on the International Trade in Endangered Species of Wild Flora and Fauna" EndangeredSpeciesConvention) | Geography.kif 4670-4671 | Endangered species convention is a conventional long name of "Convention on the International Trade in Endangered Species of Wild Flora and Fauna" |
| (conventionalLongName "Convention on the Prohibition of Military or Any Other Hostile Use of Environmental Modification Techniques" EnvironmentalModificationConvention) | Geography.kif 4678-4679 | Environmental modification convention is a conventional long name of "Convention on the Prohibition of Military or Any Other Hostile Use of Environmental Modification Techniques" |
| (conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" HazardousWastesConvention) | Geography.kif 4685-4686 | Hazardous wastes convention is a conventional long name of "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" |
| (conventionalLongName "United Nations Convention on the Law of the Sea" LawOfTheSeaConvention) | Geography.kif 4693-4693 | Law of the sea convention is a conventional long name of "United Nations Convention on the Law of the Sea" |
| (conventionalLongName "Convention on the Prevention of Marine Pollution by Dumping Wastes and Other Matter" MarineDumpingConvention) | Geography.kif 4700-4701 | Marine dumping convention is a conventional long name of "Convention on the Prevention of Marine Pollution by Dumping Wastes and Other Matter" |
| (conventionalLongName "Convention on Fishing and Conservation of Living Resources of the High Seas" MarineLifeConservationConvention) | Geography.kif 4708-4709 | Marine life conservation convention is a conventional long name of "Convention on Fishing and Conservation of Living Resources of the High Seas" |
| (conventionalLongName "Treaty Banning Nuclear Weapons Tests in the Atmosphere, in Outer Space, and Under Water" NuclearTestBanTreaty) | Geography.kif 4715-4716 | Nuclear test ban treaty is a conventional long name of "Treaty Banning Nuclear Weapons Tests in the Atmosphere, in Outer Space, and Under Water" |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|