TreeView Knowledge Base Browser - Attaching

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 12394-12394	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 12397-12404
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12395-12395	Attaching is internally related to putting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12393-12393	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 24022-24022	Conceiving is a subclass of attaching
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11550-11550	Grabbing is a subclass of attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5602-5602	Sewing is a subclass of attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5621-5621	Soldering is a subclass of attaching
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5593-5593	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 4235-4241	If an object is an instance of anchor and the objectTTACH is an instance of attaching and the object is an instrument for the objectTTACH and an entity is a patient of the objectTTACH, then the entity is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12429-12443	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process and the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process, then the process attaches the entity to another object and the process attaches the other entity to another object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12406-12413	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	If an object is an instance of vented chest seal and a transfer is an instance of attaching and the object transferred in the transfer is the object and the transfer ends up at an entity, then the object has the purpose there exist the transfer, another entity,, , a third entity and the entity such that the transfer is an instance of air and the other entity is an instance of lung and the third entity is an instance of chest and the other entity is a part of the entity and the third entity is a part of the entity and the transfer is between the other entity and the third entity holds during immediately before the time of existence of the transfer and the object has the purpose the transfer is outside to the entity holds during immediately after the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12415-12420	If a process is an instance of attaching, then there exists an entity such that the entity is an instance of corpuscular object and the entity is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of attaching and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	If a process is an instance of dressing and a physical is an instance of oqal and an entity is an instance of hat and the physical is a patient of the process and the entity is a patient of the process, then the physical has the purpose there exists another entity such that the other entity is an instance of attaching and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	If tourniquet is an attribute of an object holds during the objectIME, then there exist an agent, a process and a transfer such that the agent is an instance of human and the process is an instance of bleeding and the transfer is an instance of attaching and the agent experiences the process and the transfer ends up at the agent and the object transferred in the transfer is the object and the object has the purpose there doesn't exist the process2 such that the process2 is an instance of bleeding and immediately after the time of existence of the transfer overlaps the time of existence of the process2 and the agent experiences the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4157-4165	If a physical is an instance of bolt, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attaching and the other entity is an instance of nut and the physical is an instrument for the entity and the other entity is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16088-16093	If an object is an instance of attaching device, then there exists a process such that the process is an instance of attaching and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8929-8935	If a physical is an instance of glue, then the physical has the purpose there exists an entity such that the entity is an instance of attaching and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4176-4184	If a physical is an instance of nut, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attaching and the other entity is an instance of bolt and the other entity is an instrument for the entity and the physical is an instrument for the entity

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