Sigma KB Term Intersection

(=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2 ?U) (and (immediateInstance ?NORMAL ?HOTELUNIT) (instance ?U UnitOfArea) (measure ?NORMAL (MeasureFn ?AREA1 ?U)) (measure ?ROOM (MeasureFn ?AREA2 ?U)) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1))))	Hotel.kif 1186-1201	Oversized はオブジェクトの attribute では %n オブジェクトはクラスの immediate のインスタンスでは %n クラスは HotelUnit の subclass では %n 物理実数, 実数 and 測定単位物理はクラスの immediate のインスタンスでは %n 測定単位は UnitOfArea の instance では %n 物理の measure は実数の測定単位(s) では %n オブジェクトの measure は実数の測定単位(s) では %n 実数は面積測定の instance では %n 実数は面積測定の instance では %n 実数は実数より greater では　%n
(subclass AreaMeasure FunctionQuantity)	Merge.kif 6267-6267	面積測定は関数量の subclass では %n