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 27254-27257 | |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 27259-27259 | Il numero 1 argomenti di conventionalShortName è un istanza di Stringa |
(domain conventionalShortName 2 Entity) | Mid-level-ontology.kif 27260-27260 | Il numero 2 argomenti di conventionalShortName è un istanza di Entit� |
(instance conventionalShortName BinaryPredicate) | Mid-level-ontology.kif 27252-27252 | conventionalShortName è un' istanza di PredicatoBinario |
(subrelation conventionalShortName names) | Mid-level-ontology.kif 27261-27261 | conventionalShortName è una sottorelazione di 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 27266-27266 | abbreviation è una sottorelazione di conventionalShortName |
(termFormat ChineseLanguage conventionalShortName "传统的短名称") | domainEnglishFormat.kif 17106-17106 | |
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") | domainEnglishFormat.kif 17105-17105 | |
(termFormat EnglishLanguage conventionalShortName "acronym") | Mid-level-ontology.kif 27290-27290 | |
(termFormat EnglishLanguage conventionalShortName "conventional short name") | domainEnglishFormat.kif 17104-17104 |
appearance as argument number 0 |