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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Combining
Combining(combining)Agenise, Agenize, Combinar, Combinare, absorb, activate, add_on, admix, admixture, adsorb, aerate, agglomeration, agglutination, alcoholise, alcoholize, alloy, amalgamate, amalgamative, ammoniate, ammonify, assimilate, bale, bark, begrime, bemire, bituminise, bituminize, blend, blend_in, blended, blending, bloody, bolster, break_up, bromate, brominate, buckram, buffer, build_in, butt-weld, buttweld, camphorate, carbonate, carboxylate, carburet, charge, chemisorb, chlorinate, chrome, clap_on...

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


(documentation Combining ChineseLanguage "这是一个当两个或以上的 SelfConnectedObject 合并成 一个单一的 SelfConnectedObjectProcess。注:CombiningAttaching 的区别在于前者造成 其中的一个物体成为另一个物体的 part,而 Attaching 只会造成两个物体互相 connected。再注: CombiningPutting 的区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的位置移动。") Merge.kif 12313-12316
(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 12305-12312
(subclass Combining DualObjectProcess) Merge.kif 12304-12304 Combining is a subclass of dual object process

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


(disjoint Separating Combining) Merge.kif 12335-12335 Separating is disjoint from combining
(subclass Acidification Combining) Geography.kif 2401-2401 Acidification is a subclass of combining
(subclass Aerating Combining) Mid-level-ontology.kif 2357-2357 Aerating is a subclass of combining
(subclass ChemicalSynthesis Combining) Merge.kif 12377-12377 Chemical synthesis is a subclass of combining
(subclass Salination Combining) Geography.kif 2749-2749 Salination is a subclass of combining
(subclass Stirring Combining) Mid-level-ontology.kif 15086-15086 Stirring is a subclass of combining
(termFormat ChineseLanguage Combining "结合") chinese_format.kif 1167-1167 "结合" is the printable form of combining in ChineseLanguage
(termFormat EnglishLanguage Combining "combining") english_format.kif 854-854 "combining" is the printable form of combining in english language
(termFormat FrenchLanguage Combining "combiner") french_format.kif 845-845 "combiner" is the printable form of combining in french language
(termFormat Hindi Combining "sanyojana") terms-hindi.txt 377-377 "sanyojana" is the printable form of combining in Hindi
(termFormat ItalianLanguage Combining "Combinare") terms-it.txt 378-378 "Combinare" is the printable form of combining in italian language
(termFormat PortugueseLanguage Combining "Combinar") portuguese_format.kif 797-797 "Combinar" is the printable form of combining in portuguese language
(termFormat cb Combining "pagtipon") terms-cb.txt 382-382 "pagtipon" is the printable form of combining in cb
(termFormat cz Combining "combining") terms-cz.txt 416-416 "combining" is the printable form of combining in cz
(termFormat tg Combining "nagsasama") terms-tg.txt 381-381 "nagsasama" is the printable form of combining in tg

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 12318-12325 A process is an instance of combining and an object is a resource for the process and another object is a result of the process if and only if the object is not a part of the other object holds during the beginning of the time of existence of the process and the object is a part of the other object holds during the end of the time of existence of the process
(=>
    (instance ?COMBINE Combining)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?COMBINE ?OBJ))))
Merge.kif 12327-12332

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