Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DualObjectProcess

Sigma KEE - DualObjectProcess
DualObjectProcess

appearance as argument number 1
-------------------------


(documentation DualObjectProcess ChineseLanguage "任何需要两个不同 patientProcess。") 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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