(=> (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 è una sottoclasse di LandForm |