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 "任何需要两个不同 patient 的 Process。") chinese_format.kif 1702-1702
(documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.") Merge.kif 1635-1636
(documentation DualObjectProcess JapaneseLanguage "任意の Process で、2つの非同一の patient を要する。") japanese_format.kif 302-303
(subclass DualObjectProcess Process) Merge.kif 1633-1633 デュアオブジェクト工程 は 工程 の subclass では %n

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


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

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


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


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