| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners