Sigma KB Term Intersection

(=> (instance ?BERG Iceberg) (exists (?SHEET) (and (subclass ?SHEET Glacier) (holdsDuring (ImmediatePastFn (WhenFn ?BERG)) (material ?SHEET ?BERG)))))	Geography.kif 4732-4740	Wenn Physical ist ein fall von Iceberg %n{nicht}, dann es gibt Class um Class ist eine teilkategorie von Glacier und Class ist von Physical gebildet haelt waehrend direkt vor die zeit des Bestehens von Physical %n{nicht}
(subclass Iceberg Ice)	Geography.kif 4722-4722	Iceberg ist eine teilkategorie von Ice
(subclass Iceberg SelfConnectedObject)	Geography.kif 4723-4723	Iceberg ist eine teilkategorie von SelfConnectedObject