Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1263-1267	If a geographic area is an instance of a kind of climate zone and a kind of climate zone is a subclass of climate zone, then the kind of climate zone is a climate type in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1269-1269	Climate zone is a subclass of attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1278-1278	Tropical climate zone is a subclass of climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1345-1345	Arid climate zone is a subclass of climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1396-1396	Semiarid climate zone is a subclass of climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1398-1398	Temperate climate zone is a subclass of climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1482-1482	Midlatitude continental climate zone is a subclass of climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1514-1514	Cold climate zone is a subclass of climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1558-1558	Polar climate zone is a subclass of climate zone