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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Attaching

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, 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 12348-12348 Attaching is disjoint from detaching
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3163-3167
No TPTP formula. May not be expressible in strict first order. Merge.kif 12351-12358
No TPTP formula. May not be expressible in strict first order. Merge.kif 12349-12349 Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order. Merge.kif 12347-12347 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 23965-23965 Conceiving is a subclass of attaching
No TPTP formula. May not be expressible in strict first order. Merge.kif 11504-11504 Grabbing is a subclass of attaching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5608-5608 Sewing is a subclass of attaching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5627-5627 Soldering is a subclass of attaching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5599-5599 Tying is a subclass of attaching
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1165-1165
No TPTP formula. May not be expressible in strict first order. english_format.kif 1547-1547
No TPTP formula. May not be expressible in strict first order. french_format.kif 843-843
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 375-375
No TPTP formula. May not be expressible in strict first order. terms-it.txt 378-378
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2527-2527
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 795-795
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 380-380
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 414-414
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 864-864
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 379-379

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4242-4248
No TPTP formula. May not be expressible in strict first order. Merge.kif 12383-12397
No TPTP formula. May not be expressible in strict first order. Merge.kif 12360-12367
No TPTP formula. May not be expressible in strict first order. Medicine.kif 853-875
No TPTP formula. May not be expressible in strict first order. Merge.kif 12369-12374

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
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. Medicine.kif 20-39
No TPTP formula. May not be expressible in strict first order. Cars.kif 4172-4180
No TPTP formula. May not be expressible in strict first order. Merge.kif 16016-16021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8902-8908
No TPTP formula. May not be expressible in strict first order. Cars.kif 4191-4199


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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