Attaching - Sigma Knowledge base Browser

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

(disjoint Attaching Detaching)	Merge.kif 12318-12318	Attaching is disjoint from detaching
(documentation Attaching ChineseLanguage "这是一个 Process，当中一个 Object 跟另外一个 Object 连接上了。注：这和 Putting 的区别在于两样接上的东西可以已经处于相同的位置。也注： Combining 和 Attaching 的区别在于前者适用于 Substance，而后者则用于 CorpuscularObject。再注： Attaching 和 Putting 的另外一个区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的位置移动。")	chinese_format.kif 3163-3167
(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 12321-12328
(relatedInternalConcept Attaching Putting)	Merge.kif 12319-12319	Attaching is internally related to putting
(subclass Attaching DualObjectProcess)	Merge.kif 12317-12317	Attaching is a subclass of dual object process

appearance as argument number 2

(subclass ApplyingTourniquet Attaching)	Medicine.kif 61-61	Applying a tourniquet is a subclass of attaching
(subclass Fertilisation Attaching)	Mid-level-ontology.kif 23914-23914	Conceiving is a subclass of attaching
(subclass Grabbing Attaching)	Merge.kif 11474-11474	Grabbing is a subclass of attaching
(subclass Sewing Attaching)	Mid-level-ontology.kif 5580-5580	Sewing is a subclass of attaching
(subclass Soldering Attaching)	Mid-level-ontology.kif 5599-5599	Soldering is a subclass of attaching
(subclass Tying Attaching)	Mid-level-ontology.kif 5571-5571	Tying is a subclass of attaching
(termFormat ChineseLanguage Attaching "连接")	chinese_format.kif 1165-1165
(termFormat EnglishLanguage Attaching "attaching")	english_format.kif 1547-1547
(termFormat FrenchLanguage Attaching "attacher")	french_format.kif 843-843
(termFormat Hindi Attaching "sanlagnana")	terms-hindi.txt 375-375
(termFormat ItalianLanguage Attaching "Attaccare")	terms-it.txt 378-378
(termFormat JapaneseLanguage Attaching "取付け")	japanese_format.kif 2527-2527
(termFormat PortugueseLanguage Attaching "Colar")	portuguese_format.kif 795-795
(termFormat cb Attaching "pagsumpay")	terms-cb.txt 380-380
(termFormat cz Attaching "attaching")	terms-cz.txt 414-414
(termFormat ro Attaching "ataºare")	relations-ro.kif 864-864
(termFormat tg Attaching "ikapit")	terms-tg.txt 379-379

antecedent

(=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle))	Mid-level-ontology.kif 4214-4220	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
(=> (and (instance ?A Attaching) (patient ?A ?O1) (patient ?A ?O2) (holdsDuring (BeginFn (WhenFn ?A)) (not (connected ?O1 ?O2))) (holdsDuring (EndFn (WhenFn ?A)) (connected ?O1 ?O2))) (and (objectAttached ?A ?O1) (objectAttached ?A ?O2)))	Merge.kif 12353-12367	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
(=> (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 12330-12337	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
(=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside)))))))	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
(=> (instance ?ATTACH Attaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?ATTACH ?OBJ))))	Merge.kif 12339-12344	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

(=> (and (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (near ?H ?P) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A Attaching) (agent ?A ?H) (destination ?A ?P)))))	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 near the formula and 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
(=> (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 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
(=> (holdsDuring ?TIME (attribute ?T Tourniquet)) (exists (?P ?B ?A) (and (instance ?P Human) (instance ?B Bleeding) (instance ?A Attaching) (experiencer ?B ?P) (destination ?A ?P) (objectTransferred ?A ?T) (hasPurpose ?T (not (exists (?B2) (and (instance ?B2 Bleeding) (overlapsTemporally (WhenFn ?B2) (ImmediateFutureFn (WhenFn ?A))) (experiencer ?B2 ?P))))))))	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
(=> (instance ?B Bolt) (hasPurpose ?B (exists (?A ?N) (and (instance ?A Attaching) (instance ?N MechanicalNut) (instrument ?A ?B) (instrument ?A ?N)))))	Cars.kif 4172-4180	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
(=> (instance ?DEVICE AttachingDevice) (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?DEVICE))))	Merge.kif 15986-15991	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
(=> (instance ?GLUE Glue) (hasPurpose ?GLUE (exists (?ATTACH) (and (instance ?ATTACH Attaching) (instrument ?ATTACH ?GLUE)))))	Mid-level-ontology.kif 8874-8880	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
(=> (instance ?N MechanicalNut) (hasPurpose ?N (exists (?A ?B) (and (instance ?A Attaching) (instance ?B Bolt) (instrument ?A ?B) (instrument ?A ?N)))))	Cars.kif 4191-4199	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 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