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 91-93
(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

appearance as argument number 2

(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
(termFormat EnglishLanguage HotelUnit "hotel unit")	Hotel.kif 94-94

appearance as argument number 3

(domainSubclass freeRoomAmenity 1 HotelUnit)	Hotel.kif 336-336	Die Zahl 1 Argument von freeRoomAmenity ist eine teilkategorie von HotelUnit %n{nicht}
(domainSubclass paidRoomAmenity 1 HotelUnit)	Hotel.kif 382-382	Die Zahl 1 Argument von paidRoomAmenity ist eine teilkategorie von HotelUnit %n{nicht}
(domainSubclass reservedRoom 2 HotelUnit)	Hotel.kif 2949-2949	Die Zahl 2 Argument von reservedRoom ist eine teilkategorie von HotelUnit %n{nicht}
(domainSubclass roomAmenity 1 HotelUnit)	Hotel.kif 278-278	Die Zahl 1 Argument von roomAmenity ist eine teilkategorie von HotelUnit %n{nicht}
(domainSubclass roomAttribute 1 HotelUnit)	Hotel.kif 460-460	Die Zahl 1 Argument von roomAttribute ist eine teilkategorie von HotelUnit %n{nicht}
(domainSubclass roomPolicy 1 HotelUnit)	Hotel.kif 445-445	Die Zahl 1 Argument von roomPolicy ist eine teilkategorie von HotelUnit %n{nicht}
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2739-2739	Die Zahl 3 Argument von roomStay ist eine teilkategorie von HotelUnit %n{nicht}

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 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}
(=> (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 1003-1014	Wenn Suite ist ein attribut von Object %n{nicht} und Object ist ein fall von HotelUnit %n{nicht}, dann es gibt Object und Object um Object ist ein fall von HotelRoom %n{nicht} und Object ist ein fall von HotelRoom %n{nicht} und Object ist Inside hinsichlich Object %n{nicht} und Object ist Inside hinsichlich Object %n{nicht} und Object ist gleich ** Object nicht
(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL)))	Hotel.kif 69-75	Wenn rents AutonomousAgent, AutonomousAgent, Object and TimeInterval und TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und Object ist ein fall von HotelUnit %n{nicht}, dann guest AutonomousAgent and AutonomousAgent haelt waehrend TimeInterval %n{nicht}
(=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Hotel.kif 96-101	Wenn Object ist ein fall von HotelUnit %n{nicht}, dann es gibt Physical um Physical ist ein fall von Bed %n{nicht} und Physical befindet sich an %n{nicht}
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL)))))	Hotel.kif 103-108	Wenn Entity ist ein fall von HotelUnit %n{nicht}, dann es gibt AutonomousAgent um TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und Entity ist ein element von eigentum von ** AutonomousAgent %n{nicht}
(=> (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 110-117	Wenn Physical ist ein fall von HotelUnit %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist gleich entity nicht und Physical ist ein element von eigentum von entity %n{nicht} und rents entity, entity, Physical and entity %n{nicht}

consequent

(=> (and (attribute ?X ?Y) (instance ?Y HotelRoomAttribute)) (instance ?X HotelUnit))	Hotel.kif 978-982	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von HotelRoomAttribute %n{nicht}, dann Object ist ein fall von HotelUnit %n{nicht}
(=> (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 1935-1946	Wenn TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und AutonomousAgent ist faehig %n{nicht}, in der Rolle agent RoomCleaningService zu tun, dann es gibt CognitiveAgent und Object um AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Maid ist ein attribut von CognitiveAgent %n{nicht} und Object ist ein fall von HotelUnit %n{nicht} und Object ist ein teil von eigentum von AutonomousAgent %n{nicht} und Object ist faehig %n{nicht}, in der Rolle patient RoomCleaningService zu tun und ** CognitiveAgent ist faehig %n{nicht}, in der Rolle serviceProvider RoomCleaningService zu tun
(=> (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 2392-2407	Wenn customer CognitiveAgent and AutonomousAgent und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und Porter ist ein attribut von CognitiveAgent %n{nicht} und CognitiveAgent besitzt Object %n{nicht} und Object ist ein fall von TravelContainer %n{nicht}, dann es gibt Object und Process um Object ist ein fall von HotelUnit %n{nicht} und Process ist ein fall von Carrying %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process endet an Object %n{nicht} oder Process beginnet an Object %n{nicht}
(=> (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	Wenn TravelerAccommodation ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um rents entity, Object, entity and entity und entity ist ein fall von HotelUnit %n{nicht} und entity ist ein element von eigentum von Object %n{nicht} %n{nicht}
(=> (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 1969-1987	Wenn Process ist ein fall von RoomService %n{nicht}, dann es gibt AutonomousAgent, Entity,, , CognitiveAgent,, , Process,, , Entity,, , Process, and und Object um customer CognitiveAgent and AutonomousAgent und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von Requesting %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity drueckt Entity aus und Entity ist ein fall von PreparedFood %n{nicht} und CognitiveAgent befindet sich an %n{nicht} und Object ist ein fall von HotelUnit %n{nicht} und Process ist ein fall von DeliveryService %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an Object %n{nicht} und der anfang von die zeit des Bestehens von Process geschieht vor der anfang von die zeit des Bestehens von Process %n{nicht}
(=> (instance ?X RoomInventory) (memberType ?X HotelUnit))	Hotel.kif 143-145	Wenn Collection ist ein fall von RoomInventory %n{nicht}, dann 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