Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1263-1267	如果地理区域是有点气候区的 instance 和有点气候区是气候区的 subclass，然后那个有点气候区是那个地理区域地区的 climate 类别
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1269-1269	气候区是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1278-1278	热带气候区是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1345-1345	干旱气候带是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1396-1396	半干旱气候带是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1398-1398	温带气候区是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1482-1482	中纬度大陆性气候带是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1514-1514	寒冷气候带是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1558-1558	极地气候区是气候区的 subclass