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 的区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的位置移动。") chinese_format.kif 3174-3177
(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 12596-12603
(subclass Combining DualObjectProcess) Merge.kif 12595-12595 組み合わせデュアオブジェクト工程subclass では

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


(disjoint Separating Combining) Merge.kif 12622-12622 分離組み合わせdisjoint では
(subclass Acidification Combining) Geography.kif 2460-2460 Acidification組み合わせsubclass では
(subclass Aerating Combining) Mid-level-ontology.kif 2359-2359 Aerating組み合わせsubclass では
(subclass ChemicalSynthesis Combining) Merge.kif 12662-12662 化学合成組み合わせsubclass では
(subclass Salination Combining) Geography.kif 2881-2881 Salination組み合わせsubclass では
(subclass Stirring Combining) Mid-level-ontology.kif 19080-19080 Stirring組み合わせsubclass では
(termFormat ChineseLanguage Combining "结合") chinese_format.kif 1167-1167 Stirring組み合わせsubclass では
(termFormat EnglishLanguage Combining "combining") english_format.kif 1551-1551 Stirring組み合わせsubclass では
(termFormat FrenchLanguage Combining "combiner") french_format.kif 845-845 Stirring組み合わせsubclass では
(termFormat Hindi Combining "sanyojana") terms-hindi.txt 377-377 Stirring組み合わせsubclass では
(termFormat ItalianLanguage Combining "Combinare") terms-it.txt 380-380 Stirring組み合わせsubclass では
(termFormat JapaneseLanguage Combining "組み合わせ") japanese_format.kif 2529-2529 Stirring組み合わせsubclass では
(termFormat PortugueseLanguage Combining "Combinar") portuguese_format.kif 797-797 Stirring組み合わせsubclass では
(termFormat cb Combining "pagtipon") terms-cb.txt 382-382 Stirring組み合わせsubclass では
(termFormat cz Combining "combining") terms-cz.txt 416-416 Stirring組み合わせsubclass では
(termFormat de Combining "Kombinieren") terms-de.txt 675-675 Stirring組み合わせsubclass では
(termFormat ro Combining "combinare") relations-ro.kif 866-866 Stirring組み合わせsubclass では
(termFormat tg Combining "nagsasama") terms-tg.txt 381-381 Stirring組み合わせsubclass では

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 12605-12612 工程組み合わせinstance では オブジェクト 工程resource では エンティティー 工程result では オブジェクト エンティティーpart では は 工程time の existence の beginningduring holds オブジェクト エンティティーpart では は 工程time の existence の endduring holds
(=>
    (instance ?COMBINE Combining)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?COMBINE ?OBJ))))
Merge.kif 12614-12619

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


(=>
    (and
        (instance ?P ProductAssembly)
        (eventLocated ?P ?X)
        (instance ?X AssemblyStation))
    (or
        (instance ?P Attaching)
        (instance ?P Combining)))
Economy.kif 2140-2147
(=>
    (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 2349-2357


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