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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Detaching
Detaching(detaching)ajar, atrip, aweigh, beheaded, blow_off, breakup, broken, come_away, come_off, cut_off, decapitated, decouple, detach, detached, detachment, detribalisation, detribalization, disconnect, disengage, disengagement, disentangle, disentangled, disjointed, dislocated, disunion, fall_off, frontal_lobotomy, ladder, leucotomy, leukotomy, lobotomy, loosened, open, outspan, prefrontal_leucotomy, prefrontal_leukotomy, prefrontal_lobotomy, ravel, ravel_out, run, separated, separation, severed, sympathectomy, transorbital_lobotomy, twist, unbelt, unbend, unbind, unbolt...

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


(documentation Detaching ChineseLanguage "这是一个当 agent 把一样东西从另外一样东西分开的 Process。注:DetachingSeparating 的区别在于后者适用于 Substance,而前者则用于 CorpuscularObject。再注:DetachingRemoving 的区别在于其中一个或是同时两个分离的东西可能或 不能从它们接上的位置移动。") chinese_format.kif 3168-3171
(documentation Detaching EnglishLanguage "A Process where the agent detaches one thing from something else. Note that Detaching is different from Separating in that the latter applies to Substances, while the former applies to CorpuscularObjects. Note too that Detaching is different from Removing in that one or both of the two things which are detached may or may not be moved from the location where they were attached.") Merge.kif 12447-12452
(subclass Detaching DualObjectProcess) Merge.kif 12445-12445 Detaching is a subclass of dual object process

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


(disjoint Attaching Detaching) Merge.kif 12394-12394 Attaching is disjoint from detaching
(subclass Ungrasping Detaching) Merge.kif 12488-12488 Ungrasping is a subclass of detaching
(subclass Untying Detaching) Mid-level-ontology.kif 5597-5597 Untying is a subclass of detaching
(termFormat ChineseLanguage Detaching "脱离") chinese_format.kif 1166-1166 Untying is a subclass of detaching
(termFormat EnglishLanguage Detaching "detaching") english_format.kif 1549-1549 Untying is a subclass of detaching
(termFormat FrenchLanguage Detaching "detacher") french_format.kif 844-844 Untying is a subclass of detaching
(termFormat Hindi Detaching "vilagana") terms-hindi.txt 376-376 Untying is a subclass of detaching
(termFormat ItalianLanguage Detaching "Staccare") terms-it.txt 379-379 Untying is a subclass of detaching
(termFormat JapaneseLanguage Detaching "取外し") japanese_format.kif 2528-2528 Untying is a subclass of detaching
(termFormat PortugueseLanguage Detaching "Descolar") portuguese_format.kif 796-796 Untying is a subclass of detaching
(termFormat cb Detaching "pagbugto") terms-cb.txt 381-381 Untying is a subclass of detaching
(termFormat cz Detaching "detaching") terms-cz.txt 415-415 Untying is a subclass of detaching
(termFormat ro Detaching "desprindere") relations-ro.kif 865-865 Untying is a subclass of detaching
(termFormat tg Detaching "ilayo") terms-tg.txt 380-380 Untying is a subclass of detaching

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


(=>
    (and
        (instance ?D Detaching)
        (patient ?D ?O1)
        (patient ?D ?O2)
        (holdsDuring
            (BeginFn
                (WhenFn ?D))
            (connected ?O1 ?O2))
        (holdsDuring
            (EndFn
                (WhenFn ?A))
            (not
                (connected ?O1 ?O2))))
    (and
        (objectDetached ?A ?O1)
        (objectDetached ?A ?O2)))
Merge.kif 12477-12486
(=>
    (and
        (instance ?DETACH Detaching)
        (patient ?DETACH ?OBJ1)
        (patient ?DETACH ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?DETACH))
            (connected ?OBJ1 ?OBJ2))
        (holdsDuring
            (EndFn
                (WhenFn ?DETACH))
            (not
                (connected ?OBJ1 ?OBJ2)))))
Merge.kif 12454-12461
(=>
    (instance ?DETACH Detaching)
    (exists (?OBJ)
        (and
            (instance ?OBJ CorpuscularObject)
            (patient ?DETACH ?OBJ))))
Merge.kif 12463-12468


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