| 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 29108-29111 | |
| (domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 29113-29113 | The number 1 argument of conventionalShortName is an instance of symbolic string |
| (domain conventionalShortName 2 Entity) | Mid-level-ontology.kif 29114-29114 | The number 2 argument of conventionalShortName is an instance of entity |
| (instance conventionalShortName BinaryPredicate) | Mid-level-ontology.kif 29106-29106 | conventionalShortName is an instance of binary predicate |
| (subrelation conventionalShortName names) | Mid-level-ontology.kif 29115-29115 | conventionalShortName is a subrelation of names |
| appearance as argument number 2 |
|
|
| appearance as argument number 0 |
|
|
|
|