| 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 28881-28884 | |
| (domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 28886-28886 | |
| (domain conventionalShortName 2 Entity) | Mid-level-ontology.kif 28887-28887 | |
| (instance conventionalShortName BinaryPredicate) | Mid-level-ontology.kif 28879-28879 | |
| (subrelation conventionalShortName names) | Mid-level-ontology.kif 28888-28888 |
| 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 28893-28893 | |
| (termFormat ChineseLanguage conventionalShortName "传统的短名称") | domainEnglishFormat.kif 17121-17121 | |
| (termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") | domainEnglishFormat.kif 17120-17120 | |
| (termFormat EnglishLanguage conventionalShortName "acronym") | Mid-level-ontology.kif 28917-28917 | |
| (termFormat EnglishLanguage conventionalShortName "conventional short name") | domainEnglishFormat.kif 17119-17119 |
| appearance as argument number 0 |
|
|
| (conventionalShortName "Ac" Actinium) | Mid-level-ontology.kif 30487-30487 | |
| (conventionalShortName "Ag" Silver) | Mid-level-ontology.kif 29724-29724 | |
| (conventionalShortName "Air Pollution" AirPollutionConvention) | Geography.kif 3130-3130 | |
| (conventionalShortName "Al" Aluminum) | Mid-level-ontology.kif 29153-29153 | |
| (conventionalShortName "Am" Americium) | Mid-level-ontology.kif 30593-30593 | |
| (conventionalShortName "Antarctic Seals" AntarcticSealsConvention) | Geography.kif 3176-3176 | |
| (conventionalShortName "Antarctic_Marine Living Resources" Antarctic_MarineLivingResourcesConvention) | Geography.kif 3170-3170 | |
| (conventionalShortName "Ar" Argon) | Mid-level-ontology.kif 29236-29236 | |
| (conventionalShortName "As" Arsenic) | Mid-level-ontology.kif 29484-29484 | |
| (conventionalShortName "At" Astatine) | Mid-level-ontology.kif 30420-30420 | |
| (conventionalShortName "Au" Gold) | Mid-level-ontology.kif 30309-30309 | |
| (conventionalShortName "B" Boron) | Mid-level-ontology.kif 29009-29009 | |
| (conventionalShortName "Ba" Barium) | Mid-level-ontology.kif 29881-29881 | |
| (conventionalShortName "Basel Convention" HazardousWastesConvention) | Geography.kif 3237-3237 | |
| (conventionalShortName "Be" Beryllium) | Mid-level-ontology.kif 28993-28993 | |
| (conventionalShortName "Bi" Bismuth) | Mid-level-ontology.kif 30385-30385 | |
| (conventionalShortName "Bk" Berkelium) | Mid-level-ontology.kif 30627-30627 | |
| (conventionalShortName "Border Patrol" USCustomsAndBorderProtection) | Government.kif 4761-4761 | |
| (conventionalShortName "Br" Bromine) | Mid-level-ontology.kif 29515-29515 | |
| (conventionalShortName "C" Carbon) | Mid-level-ontology.kif 29028-29028 | |
| (conventionalShortName "Ca" Calcium) | Mid-level-ontology.kif 29267-29267 | |
| (conventionalShortName "Cd" Cadmium) | Mid-level-ontology.kif 29739-29739 | |
| (conventionalShortName "Ce" Cerium) | Mid-level-ontology.kif 29917-29917 | |
| (conventionalShortName "Cf" Californium) | Mid-level-ontology.kif 30644-30644 | |
| (conventionalShortName "Cl" Chlorine) | Mid-level-ontology.kif 29219-29219 | |
| 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