| appearance as argument number 1 |
|
| (subclass HotelUnit StationaryArtifact) | Hotel.kif 89-89 | Hotel unit is a subclass of stationary artifact |
| (subclass HotelUnit TemporaryResidence) | Hotel.kif 90-90 | Hotel unit is a subclass of temporary residence |
| (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 | Hotel unit is a subclass of temporary residence |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelUnit "hotel unit") | Hotel.kif 94-94 | |
| (subclass HotelRoom HotelUnit) | Hotel.kif 120-120 | Hotel room is a subclass of hotel unit |
| (subclass HotelVilla HotelUnit) | Hotel.kif 133-133 | Hotel villa is a subclass of hotel unit |
| appearance as argument number 3 |
|
|
| (domainSubclass roomAmenity 1 HotelUnit) | Hotel.kif 278-278 | The number 1 argument of room amenity is a subclass of hotel unit |
| (domainSubclass freeRoomAmenity 1 HotelUnit) | Hotel.kif 336-336 | The number 1 argument of free room amenity is a subclass of hotel unit |
| (domainSubclass paidRoomAmenity 1 HotelUnit) | Hotel.kif 382-382 | The number 1 argument of paid room amenity is a subclass of hotel unit |
| (domainSubclass roomPolicy 1 HotelUnit) | Hotel.kif 445-445 | The number 1 argument of room policy is a subclass of hotel unit |
| (domainSubclass roomAttribute 1 HotelUnit) | Hotel.kif 460-460 | The number 1 argument of room attribute is a subclass of hotel unit |
| (domainSubclass roomStay 3 HotelUnit) | Hotel.kif 2750-2750 | The number 3 argument of room stay is a subclass of hotel unit |
| (domainSubclass reservedRoom 2 HotelUnit) | Hotel.kif 2960-2960 | The number 2 argument of reserved room is a subclass of hotel unit |
| antecedent |
|
|
| (=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL))) |
Hotel.kif 69-75 | If X rents Y to Z during W, traveler accommodation is an attribute of X, and Y is an instance of hotel unit, then Z is a guest at X holds during W |
| (=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM)))) |
Hotel.kif 96-101 | If X is an instance of hotel unit, then there exists Y such that Y is an instance of bed and Y is located at X |
| (=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL))))) |
Hotel.kif 103-108 | If X is an instance of hotel unit, then there exists Y such that traveler accommodation is an attribute of Y and X is an element of belongings of Y |
| (=> (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 | If X is an instance of hotel unit, then X has the purpose there exist Y, Z, W such that equal Y, Z, X is an element of belongings of Y, and Y rents X to Z during W |
| (=> (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 |
| (=> (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 1194-1209 | If oversized is an attribute of X, X is an immediate instance of Y, and Y is a subclass of hotel unit, then there exist Z, W,, , V and U such that Z is an immediate instance of Y and U is an instance of unit of area and the measure of Z is W U(s) and the measure of X is V U(s) and W is an instance of area measure and V is an instance of area measure and V is greater than W |
| consequent |
|
|
| (=> (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 | If traveler accommodation is an attribute of X, then X has the purpose there exist Y, Z, W such that X rents Z to Y during W, Z is an instance of hotel unit, and Z is an element of belongings of X |
| (=> (instance ?X RoomInventory) (memberType ?X HotelUnit)) |
Hotel.kif 143-145 | If X is an instance of room inventory, then hotel unit is a member type of X |
| (=> (and (attribute ?X ?Y) (instance ?Y HotelRoomAttribute)) (instance ?X HotelUnit)) |
Hotel.kif 986-990 | If X is an attribute of Y and X is an instance of hotel room attribute, then Y is an instance of hotel unit |
| (=> (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 1946-1957 | If traveler accommodation is an attribute of X and X is capable of doing service as a agent, then All of the following hold: (1) there exist Y (2) Z such that X employs Y (3) maid is an attribute of Y (4) Z is an instance of hotel unit (5) Z is a part of belongings of X (6) Z is capable of doing service as a patient (7) Y is capable of doing service as a service provider |
| (=> (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 1980-1998 | If X is an instance of room service, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Y is a customer of W (3) Y is an agent of X (4) V is an instance of requesting (5) W is an agent of V (6) U is a patient of V (7) U expresses Z (8) Z is an instance of prepared food (9) W is located at S (10) S is an instance of hotel unit (11) T is an instance of delivery service (12) Z is a patient of T (13) T ends up at S (14) the beginning of the time of existence of V happens before the beginning of the time of existence of T |
| (=> (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 2403-2418 | If All of the following hold: (1) X is a customer of Y (2) X employs Z (3) traveler accommodation is an attribute of X (4) porter is an attribute of Z (5) Y possesses W (6) W is an instance of travel container, then there exist V, U such that V is an instance of hotel unit, U is an instance of carrying, Z is an agent of U, and U ends up at V or U originates at V |
| (=> (instance ?H HotelOrganization) (exists (?AS ?CUST ?ROOM) (and (instance ?AS AccommodationService) (attribute ?H TravelerAccommodation) (agent ?AS ?H) (destination ?AS ?CUST) (instrument ?AS ?ROOM) (instance ?ROOM HotelUnit)))) |
TravelPolicies.kif 741-750 | If X is an instance of HotelOrganization, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of AccommodationService (3) traveler accommodation is an attribute of X (4) X is an agent of Y (5) Y ends up at Z (6) W is an instrument for Y (7) W is an instance of hotel unit |
| (=> (instance ?AS AccommodationService) (exists (?HOTEL ?CUSTOMER ?ROOM) (and (instance ?HOTEL HotelOrganization) (instance ?CUSTOMER Human) (instance ?ROOM HotelUnit) (serviceProvider ?AS ?HOTEL) (serviceRecipient ?AS ?CUSTOMER) (serviceInstrument ?AS ?ROOM)))) |
TravelPolicies.kif 763-772 | If X is an instance of AccommodationService, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of HotelOrganization (3) Z is an instance of human (4) W is an instance of hotel unit (5) Y provides a service during X (6) Z receives a service during X (7) serviceInstrument X (8) W |
|
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