DualObjectProcess |
appearance as argument number 1 |
![]() |
(documentation DualObjectProcess ChineseLanguage "任何需要两个不同 patient 的 Process。") | chinese_format.kif 1702-1702 | |
(documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.") | Merge.kif 1544-1545 | |
(subclass DualObjectProcess Process) | Merge.kif 1542-1542 |
appearance as argument number 2 |
![]() |
(subclass Attaching DualObjectProcess) | Merge.kif 11492-11492 | |
(subclass Combining DualObjectProcess) | Merge.kif 11560-11560 | |
(subclass Comparing DualObjectProcess) | Merge.kif 11262-11262 | |
(subclass Detaching DualObjectProcess) | Merge.kif 11521-11521 | |
(subclass Separating DualObjectProcess) | Merge.kif 11586-11586 | |
(subclass Substituting DualObjectProcess) | Merge.kif 10689-10689 | |
(subclass Transaction DualObjectProcess) | Merge.kif 11038-11038 | |
(subclass Translating DualObjectProcess) | Merge.kif 11823-11823 | |
(termFormat ChineseLanguage DualObjectProcess "双受体过程") | chinese_format.kif 852-852 | |
(termFormat EnglishLanguage DualObjectProcess "dual object process") | english_format.kif 911-911 |
antecedent |
![]() |
(=> (instance ?PROCESS DualObjectProcess) (exists (?OBJ1 ?OBJ2) (and (patient ?PROCESS ?OBJ1) (patient ?PROCESS ?OBJ2) (not (equal ?OBJ1 ?OBJ2))))) |
Merge.kif 1547-1553 |
![]() |
![]() |