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 12219-12226
(subclass Combining DualObjectProcess) Merge.kif 12218-12218 结合双受体过程subclass

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


(disjoint Separating Combining) Merge.kif 12245-12245 分开 和 % 2 是 disjoint
(subclass Acidification Combining) Geography.kif 2475-2475 酸化结合subclass
(subclass Aerating Combining) Mid-level-ontology.kif 1851-1851 曝气结合subclass
(subclass ChemicalSynthesis Combining) Merge.kif 12285-12285 化学合成结合subclass
(subclass Salination Combining) Geography.kif 2824-2824 盐碱结合subclass
(subclass Stirring Combining) Mid-level-ontology.kif 16946-16946 搅拌结合subclass
(termFormat ChineseLanguage Combining "结合") chinese_format.kif 1167-1167
(termFormat EnglishLanguage Combining "combining") english_format.kif 1551-1551

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 12228-12235 过程结合instance 客体那个 过程resource 实体那个 过程result 若且唯若 那个 客体 不 是 那个 实体part那个 过程 出现 的 time 的开始 holdsDuring那个 客体那个 实体part那个 过程 出现 的 time 的结束 holdsDuring
(=>
    (instance ?COMBINE Combining)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?COMBINE ?OBJ))))
Merge.kif 12237-12242

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 1841-1849


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