DualObjectProcess - Sigma Knowledge base Browser

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 1670-1671
(documentation DualObjectProcess JapaneseLanguage "任意の Process で、2つの非同一の patient を要する。")	japanese_format.kif 302-303
(subclass DualObjectProcess Process)	Merge.kif 1668-1668	Dual object process is a subclass of process

appearance as argument number 2

(subclass Attaching DualObjectProcess)	Merge.kif 12519-12519	Attaching is a subclass of dual object process
(subclass Combining DualObjectProcess)	Merge.kif 12632-12632	Combining is a subclass of dual object process
(subclass Comparing DualObjectProcess)	Merge.kif 12281-12281	Comparing is a subclass of dual object process
(subclass Detaching DualObjectProcess)	Merge.kif 12573-12573	Detaching is a subclass of dual object process
(subclass ProductAssembly DualObjectProcess)	Economy.kif 2122-2122	Product assembly is a subclass of dual object process
(subclass Separating DualObjectProcess)	Merge.kif 12658-12658	Separating is a subclass of dual object process
(subclass Substituting DualObjectProcess)	Merge.kif 11621-11621	Substituting is a subclass of dual object process
(subclass Transaction DualObjectProcess)	Merge.kif 11982-11982	Transaction is a subclass of dual object process
(subclass Translating DualObjectProcess)	Merge.kif 12907-12907	Translating is a subclass of dual object process
(termFormat ChineseLanguage DualObjectProcess "双受体过程")	chinese_format.kif 852-852	Translating is a subclass of dual object process
(termFormat EnglishLanguage DualObjectProcess "dual object process")	english_format.kif 906-906	Translating is a subclass of dual object process
(termFormat FrenchLanguage DualObjectProcess "processus requ�rant deux patients")	french_format.kif 528-528	Translating is a subclass of dual object process
(termFormat Hindi DualObjectProcess "dvi-vastu prakriyaa")	terms-hindi.txt 59-59	Translating is a subclass of dual object process
(termFormat ItalianLanguage DualObjectProcess "ProcessoRelazionale")	terms-it.txt 62-62	Translating is a subclass of dual object process
(termFormat JapaneseLanguage DualObjectProcess "デュアオブジェクト工程")	japanese_format.kif 2213-2213	Translating is a subclass of dual object process
(termFormat PortugueseLanguage DualObjectProcess "Processo Dual")	portuguese_format.kif 480-480	Translating is a subclass of dual object process
(termFormat cz DualObjectProcess "dual object process")	terms-cz.txt 95-95	Translating is a subclass of dual object process
(termFormat de DualObjectProcess "Doppelgegenstandprozess")	terms-de.txt 354-354	Translating is a subclass of dual object process
(termFormat ro DualObjectProcess "proces relaþional")	relations-ro.kif 549-549	Translating is a subclass of dual object process
(termFormat tg DualObjectProcess "paraan ng dalawang bagay")	terms-tg.txt 63-63	Translating is a subclass of dual object process

antecedent

(=>
    (instance ?PROCESS DualObjectProcess)
    (exists (?OBJ1 ?OBJ2)
        (and
            (patient ?PROCESS ?OBJ1)
            (patient ?PROCESS ?OBJ2)
            (not
                (equal ?OBJ1 ?OBJ2)))))

Merge.kif 1673-1679

If a process is an instance of dual object process,
then there exist an entity and another entity such that the entity is a patient of the process and the other entity is a patient of the process and equal the entity and the other entity

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

KB Term:			Term intersection

English Word: