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, 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, blind_stitching... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12498-12498 | Attaching is disjoint from detaching |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3163-3167 | Attaching is disjoint from detaching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12501-12508 | Attaching is disjoint from detaching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12499-12499 | Attaching is internally related to putting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12497-12497 | Attaching is a subclass of dual object process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 61-61 | Applying a tourniquet is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25611-25611 | Conceiving is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11654-11654 | Grabbing is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6545-6545 | Sewing is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6564-6564 | Soldering is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6536-6536 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1165-1165 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1547-1547 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 843-843 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 375-375 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 378-378 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2527-2527 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 795-795 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 380-380 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 414-414 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 673-673 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 864-864 | Tying is a subclass of attaching |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 379-379 | Tying is a subclass of attaching |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4685-4691 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12535-12549 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12510-12517 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 844-866 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12519-12524 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 420-431 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2140-2147 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 20-39 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4233-4241 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16192-16197 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10108-10114 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4252-4260 |
|
![]() |
![]() |