(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA))))) |
Geography.kif 2280-2290 | |
(=> (attribute ?H NewsReporter) (hasPurpose ?H (exists (?EV ?T ?NEWS) (and (instance ?EV Process) (overlapsTemporally (WhenFn ?EV) (WhenFn ?H)) (instance ?T ?NEWS) (or (subclass ?NEWS Newspaper) (subclass ?NEWS NewsProgram)) (authors ?H ?NEWS) (refers ?T ?EV))))) |
Mid-level-ontology.kif 21066-21080 | |
(=> (attribute ?H ArtCritic) (hasPurpose ?H (exists (?AW ?T ?CLASS) (and (instance ?AW ArtWork) (overlapsTemporally (WhenFn ?AW) (WhenFn ?H)) (instance ?T ?CLASS) (subclass ?CLASS Article) (authors ?H ?CLASS) (refers ?T ?AW))))) |
Mid-level-ontology.kif 21089-21101 |