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 11504-11504 | |
(subclass Combining DualObjectProcess) | Merge.kif 11572-11572 | |
(subclass Comparing DualObjectProcess) | Merge.kif 11274-11274 | |
(subclass Detaching DualObjectProcess) | Merge.kif 11533-11533 | |
(subclass Separating DualObjectProcess) | Merge.kif 11598-11598 | |
(subclass Substituting DualObjectProcess) | Merge.kif 10701-10701 | |
(subclass Transaction DualObjectProcess) | Merge.kif 11050-11050 | |
(subclass Translating DualObjectProcess) | Merge.kif 11835-11835 | |
(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 |
![]() |
![]() |