TreeView Knowledge Base Browser

appearance as argument number 1

(documentation objectDetached EnglishLanguage "Relates an object that is dettached to the Process of Detaching.")	Merge.kif 12472-12473
(instance objectDetached CaseRole)	Merge.kif 12470-12470	objectDetached ist ein fall von CaseRole %n{nicht}
(subrelation objectDetached patient)	Merge.kif 12471-12471	objectDetached ist eine teilrelation von patient

appearance as argument number 2

(format EnglishLanguage objectDetached "%1 detaches %2 from another object")	Merge.kif 12475-12475
(termFormat EnglishLanguage objectDetached "detached")	Merge.kif 12474-12474

consequent

(=>
    (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

Wenn Process ist ein fall von Detaching %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Entity wird an ** ** Entity angeschlossen haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Entity wird an ** ** Entity nicht angeschlossen haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht},
dann objectDetached ** ** Process and ** Entity und objectDetached ** ** Process and ** ** Entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: