(=> (instance ?BERG Iceberg) (exists (?SHEET) (and (subclass ?SHEET Glacier) (holdsDuring (ImmediatePastFn (WhenFn ?BERG)) (material ?SHEET ?BERG))))) |
Geography.kif 4732-4740 | |
(subclass Glacier LandForm) | Geography.kif 5998-5998 | Glacier est une sous-classe de LandForm |