Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HotelRoom(hotel room) |  | hotel_room, motel_room |
| appearance as argument number 1 |
|
|
| s__subclass(s__HotelRoom,s__Room)
|
Hotel.kif 119-119 | Hotel room is a subclass of room |
| s__subclass(s__HotelRoom,s__HotelUnit)
|
Hotel.kif 120-120 | Hotel room is a subclass of hotel unit |
| s__documentation(s__HotelRoom, s__EnglishLanguage, "HotelRoom refers to a Room that is part of a HotelBuilding that serves as a TemporaryResidence for travelers") | Hotel.kif 121-122 | Hotel room is a subclass of hotel unit |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__ROOM] : ((s__instance(V__ROOM,s__HotelRoom) => (? [V__BLDG] : ((s__instance(V__BLDG,s__HotelBuilding) & s__part(V__ROOM,V__BLDG))))) )
|
Hotel.kif 125-130 | If X is an instance of hotel room, then there exists Y such that Y is an instance of hotel and X is a part of Y |
| ! [V__HOTEL,V__ROOM] : ((s__instance(V__HOTEL,s__Organization) => ((s__element(V__ROOM,s__PropertyFn(V__HOTEL)) & s__attribute(V__ROOM,s__AnnexRoom) & s__instance(V__ROOM,s__HotelRoom)) => (? [V__BLDG1,V__BLDG2,V__FRNT] : ((s__instance(V__BLDG1,s__Object) & s__instance(V__BLDG2,s__Object) & (s__subOrganization(V__FRNT,V__HOTEL) & s__instance(V__FRNT,s__HotelFrontDesk) & s__located(V__FRNT,V__BLDG1) & s__element(V__BLDG1,s__PropertyFn(V__HOTEL)) & s__element(V__BLDG2,s__PropertyFn(V__HOTEL)) & s__part(V__ROOM,V__BLDG2) & ~((V__BLDG1 = V__BLDG2)))))))) )
|
Hotel.kif 1135-1148 | If X is an element of belongings of Y, annex room is an attribute of X, and X is an instance of hotel room, then All of the following hold: (1) there exist Z, W (2) V such that V is a part of the organization Y (3) V is an instance of front desk (4) V is located at Z (5) Z is an element of belongings of Y (6) W is an element of belongings of Y (7) X is a part of W (8) equal Z (9) W |
| consequent |
|
|
| ! [V__HOTEL] : ((s__instance(V__HOTEL,s__HotelBuilding) => (? [V__ROOM] : ((s__instance(V__ROOM,s__HotelRoom) & s__properPart(V__ROOM,V__HOTEL))))) )
|
Hotel.kif 82-87 | If X is an instance of hotel, then there exists Y such that Y is an instance of hotel room and Y is a proper part of X |
| ! [V__X] : (((s__attribute(V__X,s__Suite) & s__instance(V__X,s__HotelUnit)) => (? [V__R1,V__R2] : ((s__instance(V__R1,s__HotelRoom) & s__instance(V__R2,s__HotelRoom) & s__orientation(V__R1,V__X,s__Inside) & s__orientation(V__R2,V__X,s__Inside) & ~((V__R1 = V__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 |
| ! [V__X : $i] : ((s__attribute(V__X, s__ExecutiveLevel) => ( ! [V__Y:$i] : (((s__instance(V__Y, s__HotelRoom) & s__located(V__Y, V__X)) => s__hasPurpose(V__Y, ( ? [V__HUMAN:$i] : ((s__attribute(V__HUMAN, s__BusinessExecutive) & s__instance(V__HUMAN, s__Human) & s__stays(V__HUMAN, V__Y)))))))))) | Hotel.kif 1232-1244 | If executive level is an attribute of X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that business executive is an attribute of Z, Z is an instance of human, and Z stays at Y |
| ! [V__X : $i] : ((s__attribute(V__X, s__ExclusiveFemaleLevel) => ( ! [V__Y:$i] : (((s__instance(V__Y, s__HotelRoom) & s__located(V__Y, V__X)) => s__hasPurpose(V__Y, ( ? [V__HUMAN:$i] : ((s__attribute(V__HUMAN, s__Female) & s__stays(V__HUMAN, V__Y)))))))))) | Hotel.kif 1251-1262 | If female level is an attribute of X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that female is an attribute of Z and Z stays at Y |
| ! [V__QB] : ((s__instance(V__QB,s__QueenBedRoom) => (? [V__B] : ((s__instance(V__QB,s__HotelRoom) & s__instance(V__B,s__QueenBed) & s__located(V__B,V__QB))))) )
|
TravelPolicies.kif 1070-1076 | If X is an instance of QueenBedRoom, then there exists Y such that X is an instance of hotel room, Y is an instance of queen-sized bed, and Y is located at X |
| ! [V__KB] : ((s__instance(V__KB,s__KingBedRoom) => (? [V__B] : ((s__instance(V__KB,s__HotelRoom) & s__instance(V__B,s__KingBed) & s__located(V__B,V__KB))))) )
|
TravelPolicies.kif 1078-1084 | If X is an instance of KingBedRoom, then there exists Y such that X is an instance of hotel room, Y is an instance of king-sized bed, and Y is located at X |
| ! [V__DR] : ((s__instance(V__DR,s__DoubleRoom) => (? [V__B,V__B1,V__B2] : (((s__instance(V__B,s__DoubleBed) & s__instance(V__DR,s__HotelRoom) & s__located(V__B,V__DR)) | (s__instance(V__B1,s__SingleBed) & s__instance(V__B2,s__SingleBed) & s__instance(V__DR,s__HotelRoom) & s__located(V__B1,V__DR) & s__located(V__B2,V__DR)))))) )
|
TravelPolicies.kif 1091-1104 | If X is an instance of DoubleRoom, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of full-sized bed (3) X is an instance of hotel room (4) Y is located at X or Z is an instance of twin-sized bed (5) W is an instance of twin-sized bed (6) X is an instance of hotel room (7) Z is located at X (8) W is located at X |
|