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 HotelUnit StationaryArtifact)	Hotel.kif 89-89	HotelUnit は固定アーチファクトの subclass では %n
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90	HotelUnit は TemporaryResidence の subclass では %n
(subclass HotelRoom HotelUnit)	Hotel.kif 120-120	HotelRoom は HotelUnit の subclass では %n
(subclass HotelVilla HotelUnit)	Hotel.kif 133-133	HotelVilla は HotelUnit の subclass では %n

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners