conventionalShortName |
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 29122-29125 | |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 29127-29127 | |
(domain conventionalShortName 2 Entity) | Mid-level-ontology.kif 29128-29128 | |
(instance conventionalShortName BinaryPredicate) | Mid-level-ontology.kif 29120-29120 | |
(subrelation conventionalShortName names) | Mid-level-ontology.kif 29129-29129 |
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 29134-29134 | |
(termFormat ChineseLanguage conventionalShortName "传统的短名称") | domainEnglishFormat.kif 17115-17115 | |
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") | domainEnglishFormat.kif 17114-17114 | |
(termFormat EnglishLanguage conventionalShortName "acronym") | Mid-level-ontology.kif 29158-29158 | |
(termFormat EnglishLanguage conventionalShortName "conventional short name") | domainEnglishFormat.kif 17113-17113 |
appearance as argument number 0 |
![]() |
(conventionalShortName "Ac" Actinium) | Mid-level-ontology.kif 30728-30728 | |
(conventionalShortName "Ag" Silver) | Mid-level-ontology.kif 29965-29965 | |
(conventionalShortName "Air Pollution" AirPollutionConvention) | Geography.kif 3300-3300 | |
(conventionalShortName "Al" Aluminum) | Mid-level-ontology.kif 29394-29394 | |
(conventionalShortName "Am" Americium) | Mid-level-ontology.kif 30834-30834 | |
(conventionalShortName "Antarctic Seals" AntarcticSealsConvention) | Geography.kif 3346-3346 | |
(conventionalShortName "Antarctic_Marine Living Resources" Antarctic_MarineLivingResourcesConvention) | Geography.kif 3340-3340 | |
(conventionalShortName "Ar" Argon) | Mid-level-ontology.kif 29477-29477 | |
(conventionalShortName "As" Arsenic) | Mid-level-ontology.kif 29725-29725 | |
(conventionalShortName "At" Astatine) | Mid-level-ontology.kif 30661-30661 | |
(conventionalShortName "Au" Gold) | Mid-level-ontology.kif 30550-30550 | |
(conventionalShortName "B" Boron) | Mid-level-ontology.kif 29250-29250 | |
(conventionalShortName "Ba" Barium) | Mid-level-ontology.kif 30122-30122 | |
(conventionalShortName "Basel Convention" HazardousWastesConvention) | Geography.kif 3407-3407 | |
(conventionalShortName "Be" Beryllium) | Mid-level-ontology.kif 29234-29234 | |
(conventionalShortName "Bi" Bismuth) | Mid-level-ontology.kif 30626-30626 | |
(conventionalShortName "Bk" Berkelium) | Mid-level-ontology.kif 30868-30868 | |
(conventionalShortName "Border Patrol" USCustomsAndBorderProtection) | Government.kif 4761-4761 | |
(conventionalShortName "Br" Bromine) | Mid-level-ontology.kif 29756-29756 | |
(conventionalShortName "C" Carbon) | Mid-level-ontology.kif 29269-29269 | |
(conventionalShortName "Ca" Calcium) | Mid-level-ontology.kif 29508-29508 | |
(conventionalShortName "Cd" Cadmium) | Mid-level-ontology.kif 29980-29980 | |
(conventionalShortName "Ce" Cerium) | Mid-level-ontology.kif 30158-30158 | |
(conventionalShortName "Cf" Californium) | Mid-level-ontology.kif 30885-30885 | |
(conventionalShortName "Cl" Chlorine) | Mid-level-ontology.kif 29460-29460 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |