![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| editor |
| appearance as argument number 1 |
|
|
| (instance editor BinaryPredicate) | Merge.kif 15760-15760 | editor is an instance of binary predicate |
| (domain editor 1 AutonomousAgent) | Merge.kif 15761-15761 | The number 1 argument of editor is an instance of agent |
| (domainSubclass editor 2 Text) | Merge.kif 15762-15762 | The number 2 argument of editor is a subclass of text |
| (documentation editor EnglishLanguage "(editor ?AGENT ?TEXTCLASS) means that ?AGENT is an editor of the content contained (or realized) in all instances of ?TEXTCLASS.") | Merge.kif 15765-15767 | The number 2 argument of editor is a subclass of text |
| appearance as argument number 2 |
|
|