Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DualObjectProcess
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DualObjectProcess Process) | Merge.kif 1726-1726 | Dual object process is a subclass of process |
| (documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.") | Merge.kif 1728-1729 | Dual object process is a subclass of process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PROCESS DualObjectProcess) (exists (?OBJ1 ?OBJ2) (and (patient ?PROCESS ?OBJ1) (patient ?PROCESS ?OBJ2) (not (equal ?OBJ1 ?OBJ2))))) |
Merge.kif 1731-1737 | If X is an instance of dual object process, then there exist Y, Z such that Y is a patient of X, Z is a patient of X, equal Y, and Z |
|