(=> (instance ?BERG Iceberg) (exists (?SHEET) (and (subclass ?SHEET Glacier) (holdsDuring (ImmediatePastFn (WhenFn ?BERG)) (material ?SHEET ?BERG))))) |
Geography.kif 4732-4740 | |
(subclass Iceberg Ice) | Geography.kif 4722-4722 | |
(subclass Iceberg SelfConnectedObject) | Geography.kif 4723-4723 |