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, 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


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