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 27209-27212 | |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 27214-27214 | conventionalShortName の数値 1 引数は 記号文字列 の instance では %n |
(domain conventionalShortName 2 Entity) | Mid-level-ontology.kif 27215-27215 | conventionalShortName の数値 2 引数は エンティティー の instance では %n |
(instance conventionalShortName BinaryPredicate) | Mid-level-ontology.kif 27207-27207 | conventionalShortName は 2進述語 の instance では %n |
(subrelation conventionalShortName names) | Mid-level-ontology.kif 27216-27216 | conventionalShortName は names の subrelation では %n |
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 27221-27221 | abbreviation は conventionalShortName の subrelation では %n |
(termFormat ChineseLanguage conventionalShortName "传统的短名称") | domainEnglishFormat.kif 17106-17106 | |
(termFormat ChineseTraditionalLanguage conventionalShortName "傳統的短名稱") | domainEnglishFormat.kif 17105-17105 | |
(termFormat EnglishLanguage conventionalShortName "acronym") | Mid-level-ontology.kif 27227-27227 | |
(termFormat EnglishLanguage conventionalShortName "conventional short name") | domainEnglishFormat.kif 17104-17104 |
appearance as argument number 0 |