(=> (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 |
(subclass Iceberg SelfConnectedObject) | Geography.kif 4723-4723 | 冰山 是 自身连接物体 的 subclass |