HotelUnit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HotelUnit

HotelUnit

appearance as argument number 1

(documentation HotelUnit EnglishLanguage "HotelUnit describes the basic unit that a traveler sleeps in when he is in TravelerAccomodation. It can be a Room or a detached Building")	Hotel.kif 86-88
(subclass HotelUnit StationaryArtifact)	Hotel.kif 84-84	subclass HotelUnit and StationaryArtifact
(subclass HotelUnit TemporaryResidence)	Hotel.kif 85-85	subclass HotelUnit and TemporaryResidence

appearance as argument number 2

(subclass HotelRoom HotelUnit)	Hotel.kif 115-115	subclass HotelRoom and HotelUnit
(subclass HotelVilla HotelUnit)	Hotel.kif 128-128	subclass HotelVilla and HotelUnit
(termFormat EnglishLanguage HotelUnit "hotel unit")	Hotel.kif 89-89

appearance as argument number 3

(domainSubclass reservedRoom 2 HotelUnit)	Hotel.kif 2891-2891	domainSubclass reservedRoom, 2 and HotelUnit
(domainSubclass roomAmenity 1 HotelUnit)	Hotel.kif 273-273	domainSubclass roomAmenity, 1 and HotelUnit
(domainSubclass roomAttribute 1 HotelUnit)	Hotel.kif 436-436	domainSubclass roomAttribute, 1 and HotelUnit
(domainSubclass roomPolicy 1 HotelUnit)	Hotel.kif 421-421	domainSubclass roomPolicy, 1 and HotelUnit
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2685-2685	domainSubclass roomStay, 3 and HotelUnit

antecedent

(=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2) (and (immediateInstance ?NORMAL ?HOTELUNIT) (measure ?NORMAL ?AREA1) (measure ?ROOM ?AREA2) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1))))	Hotel.kif 1140-1152	attribute Object and Oversized immediateInstance Object and SetOrClass subclass SetOrClass and HotelUnit Object PhysicalQuantity and PhysicalQuantity immediateInstance Object and SetOrClass measure Object and PhysicalQuantity measure Object and PhysicalQuantity instance PhysicalQuantity and AreaMeasure instance PhysicalQuantity and AreaMeasure greaterThan PhysicalQuantity and PhysicalQuantity
(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL)))	Hotel.kif 64-70	rents CognitiveAgent, CognitiveAgent, Object and TimeInterval attribute CognitiveAgent and TravelerAccommodation instance Object and HotelUnit holdsDuring TimeInterval and guest CognitiveAgent and CognitiveAgent
(=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Hotel.kif 91-96	instance Object and HotelUnit Physical instance Physical and Bed located Physical and Object
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL)))))	Hotel.kif 98-103	instance Entity and HotelUnit Agent attribute Agent and TravelerAccommodation element Entity and PropertyFn Agent
(=> (instance ?ROOM HotelUnit) (hasPurpose ?ROOM (exists (?AGENT ?CUST ?TI) (and (not (equal ?AGENT ?CUST)) (element ?ROOM (PropertyFn ?AGENT)) (rents ?CUST ?AGENT ?ROOM ?TI)))))	Hotel.kif 105-112	instance Physical and HotelUnit hasPurpose Physical and entity entity and entity equal entity and entity element Physical and PropertyFn entity rents entity, entity, Physical and entity

consequent

(=> (and (attribute ?X ?Y) (instance ?Y HotelRoomAttribute)) (instance ?X HotelUnit))	Hotel.kif 948-952	attribute Object and Attribute instance Attribute and HotelRoomAttribute instance Object and HotelUnit
(=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID))))	Hotel.kif 1883-1894	attribute Agent and TravelerAccommodation capability RoomCleaningService, agent and Agent CognitiveAgent Object employs Agent and CognitiveAgent attribute CognitiveAgent and Maid instance Object and HotelUnit part Object and PropertyFn Agent capability RoomCleaningService, patient and Object capability RoomCleaningService, serviceProvider and CognitiveAgent
(=> (and (customer ?CUST ?AGENT) (employs ?AGENT ?X) (attribute ?AGENT TravelerAccommodation) (attribute ?X Porter) (possesses ?CUST ?LUGGAGE) (instance ?LUGGAGE TravelContainer)) (exists (?ROOM ?CARRY) (and (instance ?ROOM HotelUnit) (instance ?CARRY Carrying) (agent ?CARRY ?X) (or (destination ?CARRY ?ROOM) (origin ?CARRY ?ROOM)))))	Hotel.kif 2338-2353	customer CognitiveAgent and CognitiveAgent employs CognitiveAgent and CognitiveAgent attribute CognitiveAgent and TravelerAccommodation attribute CognitiveAgent and Porter possesses CognitiveAgent and Object instance Object and TravelContainer Object Process instance Object and HotelUnit instance Process and Carrying agent Process and CognitiveAgent destination Process and Object origin Process and Object
(=> (attribute ?X TravelerAccommodation) (hasPurpose ?X (exists (?GUEST ?ROOM ?TI) (and (rents ?GUEST ?X ?ROOM ?TI) (instance ?ROOM HotelUnit) (element ?ROOM (PropertyFn ?X))))))	Hotel.kif 45-52	attribute Object and TravelerAccommodation hasPurpose Object and entity entity and entity rents entity, Object, entity and entity instance entity and HotelUnit element entity and PropertyFn Object
(=> (instance ?SVC RoomService) (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC) (and (customer ?CUSTOMER ?AGENT) (agent ?SVC ?AGENT) (instance ?RQST Requesting) (agent ?RQST ?CUSTOMER) (patient ?RQST ?ORDER) (represents ?ORDER ?FOOD) (instance ?FOOD PreparedFood) (located ?CUSTOMER ?LOC) (instance ?LOC HotelUnit) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?FOOD) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?RQST)) (BeginFn (WhenFn ?DELIVERY))))))	Hotel.kif 1917-1935	instance Process and RoomService CognitiveAgent Entity, CognitiveAgent, Process, Entity, Process and Object customer CognitiveAgent and CognitiveAgent agent Process and CognitiveAgent instance Process and Requesting agent Process and CognitiveAgent patient Process and Entity represents Entity and Entity instance Entity and PreparedFood located CognitiveAgent and Object instance Object and HotelUnit instance Process and DeliveryService patient Process and Entity destination Process and Object before BeginFn WhenFn Process and BeginFn WhenFn Process
(=> (instance ?X RoomInventory) (memberType ?X HotelUnit))	Hotel.kif 138-140	instance Collection and RoomInventory memberType Collection and HotelUnit

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners