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 2905-2905	domainSubclass reservedRoom, 2 and HotelUnit
(domainSubclass roomAmenity 1 HotelUnit)	Hotel.kif 273-273	domainSubclass roomAmenity, 1 and HotelUnit
(domainSubclass roomAttribute 1 HotelUnit)	Hotel.kif 440-440	domainSubclass roomAttribute, 1 and HotelUnit
(domainSubclass roomPolicy 1 HotelUnit)	Hotel.kif 425-425	domainSubclass roomPolicy, 1 and HotelUnit
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2699-2699	domainSubclass roomStay, 3 and HotelUnit

antecedent

(=> (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 1151-1166	attribute Object and Oversized immediateInstance Object and Class subclass Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure immediateInstance Physical and Class instance UnitOfMeasure and UnitOfArea measure Physical and MeasureFn RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure instance RealNumber and AreaMeasure instance RealNumber and AreaMeasure greaterThan RealNumber and RealNumber
(=> (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 956-960	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 1897-1908	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 2352-2367	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 1931-1949	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 3.0 is open source software produced by Articulate Software and its partners