| appearance as argument number 1 |
|
| (documentation roomAmenity EnglishLanguage "(roomAmenity ?ROOM ?PHYS) means that TravelerAccommodation provides Physical ?PHYS in HotelUnit ?ROOM") | Hotel.kif 269-270 | |
| (domainSubclass roomAmenity 1 HotelUnit) | Hotel.kif 273-273 | |
| (domainSubclass roomAmenity 2 Physical) | Hotel.kif 274-274 | |
| (instance roomAmenity BinaryPredicate) | Hotel.kif 268-268 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage roomAmenity "%2 是 amenity 在 %1 ") | domainEnglishFormat.kif 4447-4447 | |
| (format ChineseTraditionalLanguage roomAmenity "%2 是 amenity 在 %1 ") | domainEnglishFormat.kif 4446-4446 | |
| (format EnglishLanguage roomAmenity "%2 is an amenity in %1") | domainEnglishFormat.kif 4445-4445 | |
| (subrelation freeRoomAmenity roomAmenity) | Hotel.kif 327-327 | |
| (subrelation paidRoomAmenity roomAmenity) | Hotel.kif 367-367 | |
| (termFormat EnglishLanguage roomAmenity "room amenity") | Hotel.kif 271-271 |
| antecedent |
|
|
| (=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST)))) |
Hotel.kif 289-308 | |
| (=> (and (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (forall (?R) (=> (instance ?R ?ROOM) (exists (?O) (and (instance ?R ?ROOM) (instance ?O ?OBJ) (located ?O ?R)))))) |
Hotel.kif 276-287 | |
| (=> (and (roomAmenity ?ROOM ?SVC) (part ?ROOM ?HOTEL) (subclass ?SVC Process)) (modalAttribute (exists (?X ?S) (and (instance ?X ?ROOM) (agent ?S ?HOTEL) (or (instance ?S ?SVC) (and (instance ?PROC ?SVC) (subProcess ?S ?PROC))) (located ?S ?X))) Possibility)) |
Hotel.kif 310-325 | |
| (=> (roomAmenity ?HR TemperatureControl) (exists (?DEVICE ?ROOM ?TEMP) (and (instance ?ROOM ?HR) (instance ?DEVICE AirConditioner) (instance ?TEMP TemperatureControl) (located ?TEMP ?ROOM) (part ?TEMP ?DEVICE)))) |
Hotel.kif 1456-1464 | |
| (=> (roomAmenity ?ROOM MotionPicture) (exists (?R ?MS ?MP) (and (instance ?R ?ROOM) (instance ?MS MediaSystem) (located ?MS ?R) (instance ?MP MotionPicture) (modalAttribute (exists (?RL) (and (instance ?RL RadiatingLight) (instrument ?RL ?MS) (patient ?RL ?MP))) Possibility)))) |
Hotel.kif 1468-1481 | |
| (=> (roomAmenity ?X HotelMiniBar) (exists (?ROOM ?BAR ?HOTEL) (and (instance ?ROOM ?X) (element ?ROOM (PropertyFn ?HOTEL)) (instance ?BAR HotelMiniBar) (located ?BAR ?ROOM) (forall (?ITEM) (=> (member ?ITEM ?BAR) (exists (?AMT) (price ?ITEM ?AMT ?HOTEL))))))) |
Hotel.kif 1689-1701 |
| consequent |
|
|
| (=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 166-171 | |
| (=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 213-218 | |
| (=> (someRoomsPhysicalAmenity ?INV ?OBJ) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 182-187 | |
| (=> (someRoomsServiceAmenity ?INV ?SVC) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?SVC)))) |
Hotel.kif 198-203 |
|
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