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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Combining
Combining(組み合わせ)

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


(documentation Combining ChineseLanguage "这是一个当两个或以上的 SelfConnectedObject 合并成 一个单一的 SelfConnectedObjectProcess。注:CombiningAttaching 的区别在于前者造成 其中的一个物体成为另一个物体的 part,而 Attaching 只会造成两个物体互相 connected。再注: CombiningPutting 的区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的位置移动。") Merge.kif 12371-12374
(documentation Combining EnglishLanguage "A Process where two or more SelfConnectedObjects are incorporated into a single SelfConnectedObject. Note that Combining is different from Attaching in that the former results in one of the objects being part of the other, while Attaching only results in the two objects being connected with one another. Note too that Combining is different from Putting in that one or both of the two things which are combined may or may not be moved from the location where they were combined.") Merge.kif 12363-12370
(subclass Combining DualObjectProcess) Merge.kif 12362-12362 subclass 組み合わせ and デュアオブジェクト工程

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


(disjoint Separating Combining) Merge.kif 12393-12393 disjoint 分離 and 組み合わせ
(subclass Acidification Combining) Geography.kif 2401-2401 subclass Acidification and 組み合わせ
(subclass Aerating Combining) Mid-level-ontology.kif 2357-2357 subclass Aerating and 組み合わせ
(subclass ChemicalSynthesis Combining) Merge.kif 12435-12435 subclass 化学合成 and 組み合わせ
(subclass Salination Combining) Geography.kif 2749-2749 subclass Salination and 組み合わせ
(subclass Stirring Combining) Mid-level-ontology.kif 15086-15086 subclass Stirring and 組み合わせ
(termFormat ChineseLanguage Combining "结合") chinese_format.kif 1167-1167 termFormat ChineseLanguage, 組み合わせ and "结合"
(termFormat EnglishLanguage Combining "combining") english_format.kif 1578-1578 termFormat EnglishLanguage, 組み合わせ and "combining"
(termFormat JapaneseLanguage Combining "組み合わせ") english_format.kif 1579-1579 termFormat JapaneseLanguage, 組み合わせ and "組み合わせ"

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


(<=>
    (and
        (instance ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))
Merge.kif 12376-12383 instance 工程 and 組み合わせ resource 工程 and オブジェクト result 工程 and エンティティー holdsDuring BeginFn WhenFn 工程 and part オブジェクト and エンティティー holdsDuring EndFn WhenFn 工程 and part オブジェクト and エンティティー
(=>
    (instance ?COMBINE Combining)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?COMBINE ?OBJ))))
Merge.kif 12385-12390

consequent
-------------------------


(=>
    (instance ?AERATOR Aerator)
    (hasPurpose ?AERATOR
        (exists (?COMBINE ?AIR)
            (and
                (instance ?COMBINE Combining)
                (resource ?COMBINE ?AIR)
                (instance ?AIR Air)
                (instrument ?COMBINE ?AERATOR)))))
Mid-level-ontology.kif 2348-2355


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners