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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Attaching
Attaching(attacher)

appearance as argument number 1
-------------------------


(disjoint Attaching Detaching) Merge.kif 12483-12483 Attacher est disjoint de detacher
(documentation Attaching ChineseLanguage "这是一个 Process，当中一个 Object 跟另外一个 Object 连接上了。注：这和 Putting 的区别在于两样接上的东西可以已经处于相同的位置。也注： Combining 和 Attaching 的区别在于前者适用于 Substance，而后者则用于 CorpuscularObject。 再注： Attaching 和 Putting 的另外一个区别在于其中一个或是同时两个接上的东西可能或不能从它们结合的 位置移动。") chinese_format.kif 3163-3167 Attacher est disjoint de detacher
(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 12486-12493 Attacher est disjoint de detacher
(relatedInternalConcept Attaching Putting) Merge.kif 12484-12484 Attacher est reli� � l'int�rieur de SUMO � mettre
(subclass Attaching DualObjectProcess) Merge.kif 12482-12482 Attacher est une sous-classe de processus requ�rant deux patients

appearance as argument number 2
-------------------------


(subclass ApplyingTourniquet Attaching) Medicine.kif 61-61 ApplyingTourniquet est une sous-classe de attacher
(subclass Fertilisation Attaching) Mid-level-ontology.kif 25613-25613 Fertilisation est une sous-classe de attacher
(subclass Grabbing Attaching) Merge.kif 11639-11639 Grabbing est une sous-classe de attacher
(subclass Sewing Attaching) Mid-level-ontology.kif 6545-6545 Sewing est une sous-classe de attacher
(subclass Soldering Attaching) Mid-level-ontology.kif 6564-6564 Soldering est une sous-classe de attacher
(subclass Tying Attaching) Mid-level-ontology.kif 6536-6536 Tying est une sous-classe de attacher
(termFormat ChineseLanguage Attaching "连接") chinese_format.kif 1165-1165 Tying est une sous-classe de attacher
(termFormat EnglishLanguage Attaching "attaching") english_format.kif 1547-1547 Tying est une sous-classe de attacher
(termFormat FrenchLanguage Attaching "attacher") french_format.kif 843-843 Tying est une sous-classe de attacher
(termFormat Hindi Attaching "sanlagnana") terms-hindi.txt 375-375 Tying est une sous-classe de attacher
(termFormat ItalianLanguage Attaching "Attaccare") terms-it.txt 378-378 Tying est une sous-classe de attacher
(termFormat JapaneseLanguage Attaching "取付け") japanese_format.kif 2527-2527 Tying est une sous-classe de attacher
(termFormat PortugueseLanguage Attaching "Colar") portuguese_format.kif 795-795 Tying est une sous-classe de attacher
(termFormat cb Attaching "pagsumpay") terms-cb.txt 380-380 Tying est une sous-classe de attacher
(termFormat cz Attaching "attaching") terms-cz.txt 414-414 Tying est une sous-classe de attacher
(termFormat de Attaching "Befestigung") terms-de.txt 673-673 Tying est une sous-classe de attacher
(termFormat ro Attaching "ataºare") relations-ro.kif 864-864 Tying est une sous-classe de attacher
(termFormat tg Attaching "ikapit") terms-tg.txt 379-379 Tying est une sous-classe de attacher

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


(=>
    (and
        (instance ?A Anchor)
        (instance ?ATTACH Attaching)
        (instrument ?ATTACH ?A)
        (patient ?ATTACH ?S))
    (instance ?S WaterVehicle))		 Mid-level-ontology.kif 4685-4691
(=>
    (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 12520-12534
(=>
    (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 12495-12502
(=>
    (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 844-866
(=>
    (instance ?ATTACH Attaching)
    (exists (?OBJ)
        (and
            (instance ?OBJ CorpuscularObject)
            (patient ?ATTACH ?OBJ))))		 Merge.kif 12504-12509

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


(=>
    (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
(=>
    (and
        (instance ?P ProductAssembly)
        (eventLocated ?P ?X)
        (instance ?X AssemblyStation))
    (or
        (instance ?P Attaching)
        (instance ?P Combining)))		 Economy.kif 2140-2147
(=>
    (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
(=>
    (instance ?B Bolt)
    (hasPurpose ?B
        (exists (?A ?N)
            (and
                (instance ?A Attaching)
                (instance ?N MechanicalNut)
                (instrument ?A ?B)
                (instrument ?A ?N)))))		 Cars.kif 4233-4241
(=>
    (instance ?DEVICE AttachingDevice)
    (exists (?ATTACH)
        (and
            (instance ?ATTACH Attaching)
            (instrument ?ATTACH ?DEVICE))))		 Merge.kif 16177-16182
(=>
    (instance ?GLUE Glue)
    (hasPurpose ?GLUE
        (exists (?ATTACH)
            (and
                (instance ?ATTACH Attaching)
                (instrument ?ATTACH ?GLUE)))))		 Mid-level-ontology.kif 10108-10114
(=>
    (instance ?N MechanicalNut)
    (hasPurpose ?N
        (exists (?A ?B)
            (and
                (instance ?A Attaching)
                (instance ?B Bolt)
                (instrument ?A ?B)
                (instrument ?A ?N)))))		 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