(=>
(and
(instance ?B Boarding)
(agent ?B ?A)
(patient ?B ?V))
(and
(holdsDuring
(BeginFn
(WhenFn ?B))
(not
(onboard ?A ?V)))
(holdsDuring
(EndFn
(WhenFn ?B))
(onboard ?A ?V)))) |
Mid-level-ontology.kif 19225-19236 |
If X is an instance of boarding, Y is an agent of X, and Z is a patient of X, then Y is onboard Z holds during the beginning of the time of existence of X and Y is onboard Z holds during the end of the time of existence of X |
