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 28881-28884 | |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 28886-28886 | conventionalShortName の数値 1 引数は 記号文字列 の instance では %n |
(domain conventionalShortName 2 Entity) | Mid-level-ontology.kif 28887-28887 | conventionalShortName の数値 2 引数は エンティティー の instance では %n |
(instance conventionalShortName BinaryPredicate) | Mid-level-ontology.kif 28879-28879 | conventionalShortName は 2進述語 の instance では %n |
(subrelation conventionalShortName names) | Mid-level-ontology.kif 28888-28888 | conventionalShortName は names の subrelation では %n |
appearance as argument number 2 |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |