Suite - Sigma Knowledge base Browser

antecedent

(=> (and (attribute ?X Suite) (instance ?X HotelUnit)) (exists (?R1 ?R2) (and (instance ?R1 HotelRoom) (instance ?R2 HotelRoom) (orientation ?R1 ?X Inside) (orientation ?R2 ?X Inside) (not (equal ?R1 ?R2)))))	Hotel.kif 1011-1022	If suite is an attribute of X and X is an instance of hotel unit, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hotel room (3) Z is an instance of hotel room (4) Y is inside the to X (5) Z is inside the to X (6) equal Y (7) Z
(=> (attribute ?X Suite) (exists (?AREA) (and (instance ?AREA SittingArea) (located ?AREA ?X))))	Hotel.kif 1024-1029	If suite is an attribute of X, then there exists Y such that Y is an instance of sitting area and Y is located at X

(instance Suite HotelRoomAttribute)	Hotel.kif 1005-1005	Suite is an instance of hotel room attribute
(documentation Suite EnglishLanguage "Suite describes an HotelRoom that has more than one Room within it")	Hotel.kif 1006-1007	Suite is an instance of hotel room attribute

(successorAttributeClosure StandardRoom Suite)	Hotel.kif 997-997	Standard room is a successor attribute of suite
(termFormat EnglishLanguage Suite "suite")	Hotel.kif 1008-1008	Standard room is a successor attribute of suite
(successorAttribute DeluxeRoom Suite)	Hotel.kif 1009-1009	Deluxe room is an immediate successor attribute of suite
(subAttribute ChildrenSuite Suite)	Hotel.kif 1032-1032	Children's suite is a subattribute of suite
(subAttribute HoneymoonSuite Suite)	Hotel.kif 1150-1150	Honeymoon suite is a subattribute of suite