(=>
(and
(allergic ?H ?S)
(instance ?SUB ?S)
(holdsDuring ?T
(meetsSpatially ?SUB ?H)))
(modalAttribute
(exists (?AR)
(and
(instance ?AR AllergicReaction)
(experiencer ?AR ?H)
(overlapsTemporally ?T
(WhenFn ?AR))
(before
(BeginFn ?T)
(BeginFn
(WhenFn ?AR))))) Likely)) |
Mid-level-ontology.kif 7350-7363 |
If allergic X and Y, Z is an instance of Y, and Z meets X holds during W, then the statement there exists V such that V is an instance of allergic reaction, X experiences V, the time of existence of V overlaps W, and the beginning of W happens before the beginning of the time of existence of V has the modal force of likely |
