Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ProprietaryIdentifier(proprietary identifier) |
| appearance as argument number 1 |
|
| (subclass ProprietaryIdentifier Identifier) | Media.kif 2948-2948 | Proprietary identifier is a subclass of identifier |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ProprietaryIdentifier "proprietary identifier") | domainEnglishFormat.kif 65368-65368 |
|