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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DualObjectProcess
DualObjectProcess(processus requ�rant deux patients)

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 1630-1631
(documentation DualObjectProcess JapaneseLanguage "任意の Process で、2つの非同一の patient を要する。") japanese_format.kif 302-303
(subclass DualObjectProcess Process) Merge.kif 1628-1628 Processus requ�rant deux patients est une sous-classe de processus

appearance as argument number 2
-------------------------


(subclass Attaching DualObjectProcess) Merge.kif 12482-12482 Attacher est une sous-classe de processus requ�rant deux patients
(subclass Combining DualObjectProcess) Merge.kif 12595-12595 Combiner est une sous-classe de processus requ�rant deux patients
(subclass Comparing DualObjectProcess) Merge.kif 12244-12244 Comparer est une sous-classe de processus requ�rant deux patients
(subclass Detaching DualObjectProcess) Merge.kif 12536-12536 Detacher est une sous-classe de processus requ�rant deux patients
(subclass ProductAssembly DualObjectProcess) Economy.kif 2127-2127 ProductAssembly est une sous-classe de processus requ�rant deux patients
(subclass Separating DualObjectProcess) Merge.kif 12621-12621 Separer est une sous-classe de processus requ�rant deux patients
(subclass Substituting DualObjectProcess) Merge.kif 11584-11584 Remplacer est une sous-classe de processus requ�rant deux patients
(subclass Transaction DualObjectProcess) Merge.kif 11945-11945 Transaction est une sous-classe de processus requ�rant deux patients
(subclass Translating DualObjectProcess) Merge.kif 12870-12870 Translating est une sous-classe de processus requ�rant deux patients
(termFormat ChineseLanguage DualObjectProcess "双受体过程") chinese_format.kif 852-852 Translating est une sous-classe de processus requ�rant deux patients
(termFormat EnglishLanguage DualObjectProcess "dual object process") english_format.kif 906-906 Translating est une sous-classe de processus requ�rant deux patients
(termFormat FrenchLanguage DualObjectProcess "processus requ�rant deux patients") french_format.kif 528-528 Translating est une sous-classe de processus requ�rant deux patients
(termFormat Hindi DualObjectProcess "dvi-vastu prakriyaa") terms-hindi.txt 59-59 Translating est une sous-classe de processus requ�rant deux patients
(termFormat ItalianLanguage DualObjectProcess "ProcessoRelazionale") terms-it.txt 62-62 Translating est une sous-classe de processus requ�rant deux patients
(termFormat JapaneseLanguage DualObjectProcess "デュアオブジェクト工程") japanese_format.kif 2213-2213 Translating est une sous-classe de processus requ�rant deux patients
(termFormat PortugueseLanguage DualObjectProcess "Processo Dual") portuguese_format.kif 480-480 Translating est une sous-classe de processus requ�rant deux patients
(termFormat cz DualObjectProcess "dual object process") terms-cz.txt 95-95 Translating est une sous-classe de processus requ�rant deux patients
(termFormat de DualObjectProcess "Doppelgegenstandprozess") terms-de.txt 354-354 Translating est une sous-classe de processus requ�rant deux patients
(termFormat ro DualObjectProcess "proces relaþional") relations-ro.kif 549-549 Translating est une sous-classe de processus requ�rant deux patients
(termFormat tg DualObjectProcess "paraan ng dalawang bagay") terms-tg.txt 63-63 Translating est une sous-classe de processus requ�rant deux patients

antecedent
-------------------------


(=>
    (instance ?PROCESS DualObjectProcess)
    (exists (?OBJ1 ?OBJ2)
        (and
            (patient ?PROCESS ?OBJ1)
            (patient ?PROCESS ?OBJ2)
            (not
                (equal ?OBJ1 ?OBJ2)))))		 Merge.kif 1633-1639


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