(=> (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 3389-3417 | |
(subclass Falling Translocation) | Merge.kif 11580-11580 | 落下 是 易位 的 subclass |
(subclass Falling MotionDownward) | Merge.kif 11581-11581 | 落下 是 向下运动 的 subclass |
(subclass Sinking Falling) | Mid-level-ontology.kif 13107-13107 | 下沉 是 落下 的 subclass |
(subclass Precipitation Falling) | Merge.kif 11207-11207 | 沉淀 是 落下 的 subclass |