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	Wenn Oversized ist ein attribut von Object %n{nicht} und Object ist ein direkter fall von Class und Class ist eine teilkategorie von HotelUnit, dann es gibt Physical, RealNumber,, , RealNumber, and und UnitOfMeasure um Physical ist ein direkter fall von Class und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht} und das mass von Physical ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von Object ist RealNumber UnitOfMeasure(s) %n{nicht} und RealNumber ist ein fall von AreaMeasure %n{nicht} und RealNumber ist ein fall von AreaMeasure %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}
(subclass HotelUnit StationaryArtifact)	Hotel.kif 89-89	HotelUnit ist eine teilkategorie von StationaryArtifact
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90	HotelUnit ist eine teilkategorie von TemporaryResidence
(subclass HotelRoom HotelUnit)	Hotel.kif 120-120	HotelRoom ist eine teilkategorie von HotelUnit
(subclass HotelVilla HotelUnit)	Hotel.kif 133-133	HotelVilla ist eine teilkategorie von HotelUnit

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