(=> (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 | Iceberg è una sottoclasse di Ice |
(subclass Iceberg SelfConnectedObject) | Geography.kif 4723-4723 | Iceberg è una sottoclasse di OggettoIntegro |