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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Attaching
Attaching(attaching)French_knot, Gordian_knot, Matthew_Walker, Matthew_Walker_knot, Shirodkar's_operation, Turk's_head, Windsor_knot, adhere, adherent, adhesive, adjunction, affix, affixation, affixed, agglutinate, agglutinative, anastomose, anastomosis, anastomotic, anchor, annex, append, appendant, applique, articulation, attach, attaching, attachment, backstitch, ball, band, bargello, barrel_knot, basifixed, baste, basting, basting_stitch, batten, batten_down, bead, belay, bell, belt, beplaster, berth, bight, bind, bind_off, bitt, blanket_stitch...

VerbNet: tape-22.4|bond, shake-22.3|affix, pocket-9.10|ground, put-9.1|tack_on, image_impression-25.1|applique, shake-22.3|attach, knead-26.5|ball, shake-22.3|band, shake-22.3|baste, build-26.1|bead, tape-22.4|belt, spray-9.7|plaster, shake-22.3|moor, tape-22.4|bond, tape-22.4|bond, butter-9.9|bridle, mix-22.1|join, tape-22.4|clasp, tape-22.4|clasp, tape-22.4|button, tape-22.4|cable, butter-9.9|calk, tape-22.4|cement, tape-22.4|chain, tape-22.4|cinch, tape-22.4|clamp, tape-22.4|clasp, tape-22.4|clip, amalgamate-22.2|couple, amalgamate-22.2|couple, amalgamate-22.2|couple, tape-22.4|manacle, spray-9.7|string, amalgamate-22.2|entwine, tape-22.4|epoxy, shake-22.3|fasten, tape-22.4|shackle, shake-22.3|secure, shake-22.3|fixate, tape-22.4|cinch, tape-22.4|paste, pocket-9.10|ground, fill-9.8|gum_up, tape-22.4|manacle, put-9.1|tack_on, tape-22.4|hinge, tape-22.4|bond, tape-22.4|hook, put-9.1|implant, mix-22.1|join, ...


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


(disjoint Attaching Detaching) Merge.kif 16648-16648 Attaching is disjoint from detaching
(documentation Attaching ChineseLanguage "这是一个 Process,当中一个 Object 跟另外一个 Object 连接上了。注:这和 Putting 的区别在于两样接上的东西可以已经处于相同的位置。也注: CombiningAttaching 的区别在于前者适用于 Substance,而后者则用于 CorpuscularObject。 再注: AttachingPutting 的另外一个区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的 位置移动。") Merge.kif 16660-16664
(documentation Attaching EnglishLanguage "A Process where one Object becomes attached to another Object. Note that this differs from Putting in that two things which are attached may already be in the same location. Note that Combining is different from Attaching in that the former applies to Substances, while the latter applies to CorpuscularObjects. Note too that Attaching is different from Putting in that one or both of the two things which are attached may or may not be moved from the location where they were combined.") Merge.kif 16651-16658
(relatedInternalConcept Attaching Putting) Merge.kif 16649-16649 Attaching is internally related to putting
(subclass Attaching DualObjectProcess) Merge.kif 16647-16647 Attaching is a subclass of dual object process

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


(subclass Grabbing Attaching) Merge.kif 15686-15686 Grabbing is a subclass of attaching
(subclass Sewing Attaching) Mid-level-ontology.kif 5850-5850 Sewing is a subclass of attaching
(subclass Soldering Attaching) Mid-level-ontology.kif 5861-5861 Soldering is a subclass of attaching
(subclass Tying Attaching) Mid-level-ontology.kif 5841-5841 Tying is a subclass of attaching
(termFormat ChineseLanguage Attaching "连接") chinese_format.kif 1165-1165 "连接" is the printable form of attaching in ChineseLanguage
(termFormat EnglishLanguage Attaching "attaching") english_format.kif 2204-2204 "attaching" is the printable form of attaching in english language
(termFormat JapaneseLanguage Attaching "取付け") english_format.kif 2205-2205 "取付け" is the printable form of attaching in japanese language

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


(=>
    (and
        (instance ?A Anchor)
        (instance ?ATTACH Attaching)
        (instrument ?ATTACH ?A)
        (patient ?ATTACH ?S))
    (instance ?S WaterVehicle))
Mid-level-ontology.kif 4717-4723
(=>
    (and
        (instance ?ATTACH Attaching)
        (patient ?ATTACH ?OBJ1)
        (patient ?ATTACH ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?ATTACH))
            (not
                (connected ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?ATTACH))
            (connected ?OBJ1 ?OBJ2))))
Merge.kif 16666-16673
(=>
    (instance ?ATTACH Attaching)
    (exists (?OBJ)
        (and
            (instance ?OBJ CorpuscularObject)
            (patient ?ATTACH ?OBJ))))
Merge.kif 16675-16680

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


(=>
    (and
        (instance ?D Dressing)
        (instance ?O Oqal)
        (instance ?H Hat)
        (patient ?D ?O)
        (patient ?D ?H))
    (hasPurpose ?O
        (exists (?A)
            (and
                (instance ?A Attaching)
                (instrument ?A ?O)))))
ArabicCulture.kif 405-416
(=>
    (instance ?B Bolt)
    (hasPurpose ?B
        (exists (?A ?N)
            (and
                (instance ?A Attaching)
                (instance ?N Nut)
                (instrument ?A ?B)
                (instrument ?A ?N)))))
Cars.kif 4136-4144
(=>
    (instance ?DEVICE AttachingDevice)
    (exists (?ATTACH)
        (and
            (instance ?ATTACH Attaching)
            (instrument ?ATTACH ?DEVICE))))
Merge.kif 20557-20562
(=>
    (instance ?GLUE Glue)
    (hasPurpose ?GLUE
        (exists (?ATTACH)
            (and
                (instance ?ATTACH Attaching)
                (instrument ?ATTACH ?GLUE)))))
Mid-level-ontology.kif 8577-8582
(=>
    (instance ?N Nut)
    (hasPurpose ?N
        (exists (?A ?B)
            (and
                (instance ?A Attaching)
                (instance ?B Bolt)
                (instrument ?A ?B)
                (instrument ?A ?N)))))
Cars.kif 4155-4163


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