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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 1645-1646
(documentation DualObjectProcess JapaneseLanguage "任意の Process で、2つの非同一の patient を要する。") japanese_format.kif 302-303
(subclass DualObjectProcess Process) Merge.kif 1643-1643 デュアオブジェクト工程工程subclass では

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


(subclass Attaching DualObjectProcess) Merge.kif 12497-12497 取付けデュアオブジェクト工程subclass では
(subclass Combining DualObjectProcess) Merge.kif 12610-12610 組み合わせデュアオブジェクト工程subclass では
(subclass Comparing DualObjectProcess) Merge.kif 12259-12259 比較デュアオブジェクト工程subclass では
(subclass Detaching DualObjectProcess) Merge.kif 12551-12551 取外しデュアオブジェクト工程subclass では
(subclass ProductAssembly DualObjectProcess) Economy.kif 2127-2127 ProductAssemblyデュアオブジェクト工程subclass では
(subclass Separating DualObjectProcess) Merge.kif 12636-12636 分離デュアオブジェクト工程subclass では
(subclass Substituting DualObjectProcess) Merge.kif 11599-11599 代用デュアオブジェクト工程subclass では
(subclass Transaction DualObjectProcess) Merge.kif 11960-11960 取引デュアオブジェクト工程subclass では
(subclass Translating DualObjectProcess) Merge.kif 12885-12885 Translatingデュアオブジェクト工程subclass では
(termFormat ChineseLanguage DualObjectProcess "双受体过程") chinese_format.kif 852-852 Translatingデュアオブジェクト工程subclass では
(termFormat EnglishLanguage DualObjectProcess "dual object process") english_format.kif 906-906 Translatingデュアオブジェクト工程subclass では
(termFormat FrenchLanguage DualObjectProcess "processus requ�rant deux patients") french_format.kif 528-528 Translatingデュアオブジェクト工程subclass では
(termFormat Hindi DualObjectProcess "dvi-vastu prakriyaa") terms-hindi.txt 59-59 Translatingデュアオブジェクト工程subclass では
(termFormat ItalianLanguage DualObjectProcess "ProcessoRelazionale") terms-it.txt 62-62 Translatingデュアオブジェクト工程subclass では
(termFormat JapaneseLanguage DualObjectProcess "デュアオブジェクト工程") japanese_format.kif 2213-2213 Translatingデュアオブジェクト工程subclass では
(termFormat PortugueseLanguage DualObjectProcess "Processo Dual") portuguese_format.kif 480-480 Translatingデュアオブジェクト工程subclass では
(termFormat cz DualObjectProcess "dual object process") terms-cz.txt 95-95 Translatingデュアオブジェクト工程subclass では
(termFormat de DualObjectProcess "Doppelgegenstandprozess") terms-de.txt 354-354 Translatingデュアオブジェクト工程subclass では
(termFormat ro DualObjectProcess "proces relaþional") relations-ro.kif 549-549 Translatingデュアオブジェクト工程subclass では
(termFormat tg DualObjectProcess "paraan ng dalawang bagay") terms-tg.txt 63-63 Translatingデュアオブジェクト工程subclass では

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


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


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