Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 



KB Term:  Term intersection
English Word: 

  conventionalLongName

Sigma KEE - conventionalLongName
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners