Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	attribute Object and Oversized 立即實例 Object and Class 子類 Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure 立即實例 Physical and Class 例 UnitOfMeasure and UnitOfArea 測量 Physical and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and AreaMeasure 例 RealNumber and AreaMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 89-89	子類 HotelUnit and StationaryArtifact
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	子類 HotelUnit and 暫住
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	子類 HotelRoom and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	子類 HotelVilla and HotelUnit