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 27221-27224 | |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 27226-27226 | Le nombre 1 argument de conventionalShortName est une instance de cha�ne sympbolique |
(domain conventionalShortName 2 Entity) | Mid-level-ontology.kif 27227-27227 | Le nombre 2 argument de conventionalShortName est une instance de entit� |
(instance conventionalShortName BinaryPredicate) | Mid-level-ontology.kif 27219-27219 | conventionalShortName est une instance de pr�dicat binaire |
(subrelation conventionalShortName names) | Mid-level-ontology.kif 27228-27228 | conventionalShortName est une sous-relation de 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 27233-27233 | abbreviation est une sous-relation de conventionalShortName |
(termFormat ChineseLanguage conventionalShortName "传统的短名称") | domainEnglishFormat.kif 17106-17106 | |
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") | domainEnglishFormat.kif 17105-17105 | |
(termFormat EnglishLanguage conventionalShortName "acronym") | Mid-level-ontology.kif 27239-27239 | |
(termFormat EnglishLanguage conventionalShortName "conventional short name") | domainEnglishFormat.kif 17104-17104 |
appearance as argument number 0 |