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