(=>
(and
(instance ?B Blinking)
(patient ?B ?E)
(instance ?E BothEyes))
(exists (?T)
(and
(holdsDuring ?T
(attribute ?E Closed))
(during
(WhenFn ?B) ?T)
(holdsDuring
(ImmediatePastFn
(WhenFn ?B))
(attribute ?E Open))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?B))
(attribute ?E Open))))) |
Mid-level-ontology.kif 22029-22047 |
If X is an instance of blinking, Y is a patient of X, and Y is an instance of both eyes, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X |
(=>
(and
(instance ?O OpeningEye)
(patient ?O ?E)
(instance ?E Eye))
(exists (?T)
(and
(holdsDuring ?T
(attribute ?E Open))
(during
(WhenFn ?O) ?T)
(holdsDuring
(ImmediatePastFn
(WhenFn ?O))
(attribute ?E Closed))))) |
Mid-level-ontology.kif 22077-22091 |
If X is an instance of opening eye, Y is a patient of X, and Y is an instance of eye, then there exists Z such that open is an attribute of Y holds during Z, the time of existence of X takes place during Z, and closed is an attribute of Y holds during immediately before the time of existence of X |
(=>
(and
(instance ?C ClosingEye)
(patient ?C ?E)
(instance ?E Eye))
(exists (?T)
(and
(holdsDuring ?T
(attribute ?E Closed))
(during
(WhenFn ?C) ?T)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(attribute ?E Open))))) |
Mid-level-ontology.kif 22149-22163 |
If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, and open is an attribute of Y holds during immediately before the time of existence of X |
(=>
(and
(instance ?O Object)
(instance ?OPEN Opening)
(patient ?OPEN ?O))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?OPEN))
(attribute ?O Open))) |
Mid-level-ontology.kif 23710-23716 |
If X is an instance of object, Y is an instance of opening, and X is a patient of Y, then open is an attribute of X holds during immediately after the time of existence of Y |
(=>
(holdsDuring ?T1
(attribute ?P Closed))
(modalAttribute
(exists (?T2)
(and
(not
(equal ?T1 ?T2))
(holdsDuring ?T1
(attribute ?P Open)))) Possibility)) |
Mid-level-ontology.kif 23724-23734 |
If closed is an attribute of X holds during Y, then the statement there exists Z such that equal Y, Z, and open is an attribute of X holds during Y has the modal force of possibility |
(=>
(and
(instance ?B Winking)
(patient ?B ?E)
(or
(instance ?E
(BodySideFn Left Eye))
(instance ?E
(BodySideFn Right Eye))))
(exists (?T)
(and
(holdsDuring ?T
(attribute ?E Closed))
(during
(WhenFn ?B) ?T)
(holdsDuring
(ImmediatePastFn
(WhenFn ?B))
(attribute ?E Open))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?B))
(attribute ?E Open))))) |
emotion.kif 2017-2039 |
If X is an instance of winking, Y is a patient of X, and Y is an instance of the left of eye or Y is an instance of the right of eye, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X |
(=>
(and
(instance ?J JawDropping)
(agent ?J ?A)
(instance ?M Mouth)
(part ?M ?A))
(exists (?O)
(and
(instance ?O Opening)
(subProcess ?O ?J)
(patient ?O ?M)
(holdsDuring
(BeginFn
(WhenFn ?O))
(attribute ?M Closed))
(holdsDuring
(EndFn
(WhenFn ?O))
(attribute ?M Open))))) |
emotion.kif 2157-2175 |
If X is an instance of jaw dropping, Y is an agent of X, Z is an instance of mouth, and Z is a part of Y, then there exists W such that W is an instance of opening, W is a subprocess of X, Z is a patient of W, closed is an attribute of Z holds during the beginning of the time of existence of W, and open is an attribute of Z holds during the end of the time of existence of W |
Open