Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4732-4740	If a physical is an instance of iceberg, then there exists a class such that the class is a subclass of glacier and the physical is made of the class holds during immediately before the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4722-4722	Iceberg is a subclass of ice
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4723-4723	Iceberg is a subclass of self connected object