(=> (and (instance ?SH SafetyHarness) (instance ?PERSON Animal) (wears ?PERSON ?SH)) (hasPurpose ?SH (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H ?T) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ))))) |
Cars.kif 3397-3425 | |
(subclass Falling Translocation) | Merge.kif 11602-11602 | 落下 是 易位 的 subclass |
(subclass Falling MotionDownward) | Merge.kif 11603-11603 | 落下 是 向下运动 的 subclass |
(subclass Sinking Falling) | Mid-level-ontology.kif 13106-13106 | 下沉 是 落下 的 subclass |
(subclass Precipitation Falling) | Merge.kif 11229-11229 | 沉淀 是 落下 的 subclass |