Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	如果 Oversized 是客体的 attribute 和那个客体是类的 immediateInstance 和那个类是 HotelUnit 的 subclass，然后有存在物理，实数,，，另一个实数， and 和测量单位这样那个物理是那个类的 immediateInstance 和那个测量单位是 UnitOfArea 的 instance 和那个物理的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个实数是面积测量的 instance 和那个另外实数是面积测量的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 89-89	HotelUnit 是固定人工制品的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	HotelUnit 是暂住的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	HotelRoom 是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	HotelVilla 是 HotelUnit 的 subclass