| appearance as argument number 1 |
|
| (documentation conventionalShortName EnglishLanguage "(conventionalShortName ?NAME ?THING) means that the string ?NAME is the short form of the name conventionally used for ?THING. For a more specialized subset of short names, see abbreviation.") | Mid-level-ontology.kif 26707-26710 | |
| (domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 26712-26712 | The number 1 argument of conventional short name is an instance of symbolic string |
| (domain conventionalShortName 2 Entity) | Mid-level-ontology.kif 26713-26713 | The number 2 argument of conventional short name is an instance of entity |
| (instance conventionalShortName BinaryPredicate) | Mid-level-ontology.kif 26705-26705 | conventional short name is an instance of binary predicate |
| (subrelation conventionalShortName names) | Mid-level-ontology.kif 26714-26714 | conventional short name is a subrelation of names |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage conventionalShortName "%2 %n 是 %1 的 conventional 简称") | domainEnglishFormat.kif 548-548 | |
| (format ChineseTraditionalLanguage conventionalShortName "%2 %n 是 %1 的 conventional 簡稱") | domainEnglishFormat.kif 547-547 | |
| (format EnglishLanguage conventionalShortName "%2 is %n a conventional short name of %1") | domainEnglishFormat.kif 546-546 | |
| (subrelation abbreviation conventionalShortName) | Mid-level-ontology.kif 26719-26719 | abbreviation is a subrelation of conventional short name |
| (termFormat ChineseLanguage conventionalShortName "传统的短名称") | domainEnglishFormat.kif 17097-17097 | |
| (termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") | domainEnglishFormat.kif 17096-17096 | |
| (termFormat EnglishLanguage conventionalShortName "acronym") | Mid-level-ontology.kif 26725-26725 | |
| (termFormat EnglishLanguage conventionalShortName "conventional short name") | domainEnglishFormat.kif 17095-17095 |
| appearance as argument number 0 |
|
|
| (conventionalShortName "Ac" Actinium) | Mid-level-ontology.kif 28295-28295 | Actinium is a conventional short name of "Ac" |
| (conventionalShortName "Ag" Silver) | Mid-level-ontology.kif 27532-27532 | Silver is a conventional short name of "Ag" |
| (conventionalShortName "Air Pollution" AirPollutionConvention) | Geography.kif 3064-3064 | Air pollution convention is a conventional short name of "Air Pollution" |
| (conventionalShortName "Al" Aluminum) | Mid-level-ontology.kif 26961-26961 | Aluminum is a conventional short name of "Al" |
| (conventionalShortName "Am" Americium) | Mid-level-ontology.kif 28401-28401 | Americium is a conventional short name of "Am" |
| (conventionalShortName "Antarctic Seals" AntarcticSealsConvention) | Geography.kif 3110-3110 | Antarctic seals convention is a conventional short name of "Antarctic Seals" |
| (conventionalShortName "Antarctic-Marine Living Resources" Antarctic-MarineLivingResourcesConvention) | Geography.kif 3104-3104 | Antarctic- marine living resources convention is a conventional short name of "Antarctic-Marine Living Resources" |
| (conventionalShortName "Ar" Argon) | Mid-level-ontology.kif 27044-27044 | Argon is a conventional short name of "Ar" |
| (conventionalShortName "As" Arsenic) | Mid-level-ontology.kif 27292-27292 | Arsenic is a conventional short name of "As" |
| (conventionalShortName "At" Astatine) | Mid-level-ontology.kif 28228-28228 | Astatine is a conventional short name of "At" |
| (conventionalShortName "Au" Gold) | Mid-level-ontology.kif 28117-28117 | Gold is a conventional short name of "Au" |
| (conventionalShortName "B" Boron) | Mid-level-ontology.kif 26817-26817 | Boron is a conventional short name of "B" |
| (conventionalShortName "Ba" Barium) | Mid-level-ontology.kif 27689-27689 | Barium is a conventional short name of "Ba" |
| (conventionalShortName "Basel Convention" HazardousWastesConvention) | Geography.kif 3171-3171 | Hazardous wastes convention is a conventional short name of "Basel Convention" |
| (conventionalShortName "Be" Beryllium) | Mid-level-ontology.kif 26801-26801 | Beryllium is a conventional short name of "Be" |
| (conventionalShortName "Bi" Bismuth) | Mid-level-ontology.kif 28193-28193 | Bismuth is a conventional short name of "Bi" |
| (conventionalShortName "Bk" Berkelium) | Mid-level-ontology.kif 28435-28435 | Berkelium is a conventional short name of "Bk" |
| (conventionalShortName "Border Patrol" USCustomsAndBorderProtection) | Government.kif 4792-4792 | US customs and border protection is a conventional short name of "Border Patrol" |
| (conventionalShortName "Br" Bromine) | Mid-level-ontology.kif 27323-27323 | Bromine is a conventional short name of "Br" |
| (conventionalShortName "C" Carbon) | Mid-level-ontology.kif 26836-26836 | Carbon is a conventional short name of "C" |
| (conventionalShortName "Ca" Calcium) | Mid-level-ontology.kif 27075-27075 | Calcium is a conventional short name of "Ca" |
| (conventionalShortName "Cd" Cadmium) | Mid-level-ontology.kif 27547-27547 | Cadmium is a conventional short name of "Cd" |
| (conventionalShortName "Ce" Cerium) | Mid-level-ontology.kif 27725-27725 | Cerium is a conventional short name of "Ce" |
| (conventionalShortName "Cf" Californium) | Mid-level-ontology.kif 28452-28452 | Californium is a conventional short name of "Cf" |
| (conventionalShortName "Cl" Chlorine) | Mid-level-ontology.kif 27027-27027 | Chlorine is a conventional short name of "Cl" |
| 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