| documentation |
| appearance as argument number 1 |
|
|
| (instance documentation TernaryPredicate) | Merge.kif 361-361 | documentation is an instance of ternary predicate |
| (domain documentation 1 Entity) | Merge.kif 362-362 | The number 1 argument of documentation is an instance of entity |
| (domain documentation 2 HumanLanguage) | Merge.kif 363-363 | The number 2 argument of documentation is an instance of human language |
| (domain documentation 3 SymbolicString) | Merge.kif 364-364 | The number 3 argument of documentation is an instance of symbolic string |
| (documentation documentation EnglishLanguage "A relation between objects in the domain of discourse and strings of natural language text stated in a particular HumanLanguage. The domain of documentation is not constants (names), but the objects themselves. This means that one does not quote the names when associating them with their documentation.") | Merge.kif 366-370 | The number 3 argument of documentation is an instance of symbolic string |
| appearance as argument number 2 |
|
|
| appearance as argument number 0 |
|
|
|
|