Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TravelerAccommodation
TravelerAccommodation(traveler accommodation)
more pictures...
Ritz, bed-and-breakfast, bed_and_breakfast, caravan_inn, caravansary, caravanserai, court, fleabag, holiday_resort, khan, motel, motor_hotel, motor_inn, motor_lodge, post_house, posthouse, resort, resort_hotel, rest_house, ski_lodge, spa, tourist_court, traveler_accommodation

appearance as argument number 1
-------------------------


(documentation TravelerAccommodation EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Traveler Accommodation.") naics.kif 11492-11494
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 01/ CLHS_Staff_Accommodation.JPG") pictureList.kif 12081-12081 "http://upload.wikimedia.org/wikipedia/commons/0/01/ CLHS_Staff_Accommodation.JPG" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 14/ Histana_Hotel.jpg") pictureList.kif 12083-12083 "http://upload.wikimedia.org/wikipedia/commons/1/14/ Histana_Hotel.jpg" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2c/ Accommodation_block_on_container_ship.jpg") pictureList.kif 12080-12080 "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Accommodation_block_on_container_ship.jpg" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ KIA_check-in.jpg") pictureList.kif 12087-12087 "http://upload.wikimedia.org/wikipedia/commons/3/37/ KIA_check-in.jpg" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ Levin_alppitalo.jpg") pictureList.kif 12082-12082 "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Levin_alppitalo.jpg" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ WM2007_PreparationFinalDay-03.jpg") pictureList.kif 12084-12084 "http://upload.wikimedia.org/wikipedia/commons/8/81/ WM2007_PreparationFinalDay-03.jpg" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Former_St_Wilfrid%27s_Church%2C_Elm_Grove%2C_Brighton_01.jpg") pictureList.kif 12086-12086 "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Former_St_Wilfrid%27s_Church%2C_Elm_Grove%2C_Brighton_01.jpg" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ WM2007_PreparationFinalDay-01.jpg") pictureList.kif 12085-12085 "http://upload.wikimedia.org/wikipedia/commons/b/b7/ WM2007_PreparationFinalDay-01.jpg" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ d/ d5/ Refugees_Accommodation_in_Tbilisi.jpg") pictureList.kif 10328-10328 "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Refugees_Accommodation_in_Tbilisi.jpg" is a URL depicting traveler accommodation
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ f/ fa/ Front_desk-hotel.JPG") pictureList.kif 12088-12088 "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Front_desk-hotel.JPG" is a URL depicting traveler accommodation
(relatedInternalConcept TravelerAccommodation TourismIndustry) Economy.kif 1907-1907 Traveler accommodation is internally related to tourism industry
(subAttribute TravelerAccommodation Accommodation) naics.kif 11490-11490 Traveler accommodation is a subattribute of accommodation

appearance as argument number 2
-------------------------


(subAttribute CasinoHotels TravelerAccommodation) naics.kif 11503-11503 Casino hotels is a subattribute of traveler accommodation
(subAttribute HotelsExceptCasinoHotelsAndMotels TravelerAccommodation) naics.kif 11496-11496 Hotels except casino hotels and motels is a subattribute of traveler accommodation
(subAttribute OtherTravelerAccommodation TravelerAccommodation) naics.kif 11509-11509 Other traveler accommodation is a subattribute of traveler accommodation
(termFormat EnglishLanguage TravelerAccommodation "traveler accommodation") domainEnglishFormat.kif 10269-10269 "traveler accommodation" is the printable form of traveler accommodation in english language

antecedent
-------------------------


(=>
    (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 1879-1890
(=>
    (and
        (attribute ?X TravelerAccommodation)
        (element ?CASINO
            (PropertyFn ?X))
        (instance ?CASINO Casino))
    (attribute ?X CasinoHotels))
Hotel.kif 1399-1404
(=>
    (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 2333-2348
(=>
    (and
        (employs ?HOTEL ?ATHLETE)
        (attribute ?HOTEL TravelerAccommodation)
        (attribute ?ATHLETE TennisProfessional)
        (guest ?CUST ?HOTEL))
    (modalAttribute
        (exists (?TENNIS ?LOC)
            (and
                (instance ?TENNIS Tennis)
                (contestParticipant ?TENNIS ?ATHLETE)
                (contestParticipant ?TENNIS ?CUST)
                (located ?TENNIS ?LOC)
                (located ?HOTEL ?LOC))) Possibility))
Hotel.kif 1466-1479
(=>
    (and
        (instance ?POLICY NoHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY)
        (attribute ?AGENT TravelerAccommodation))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (and
                (guest ?GUEST ?AGENT)
                (holdsDuring
                    (WhenFn
                        (stays ?GUEST ?ROOM))
                    (not
                        (exists (?CLEAN)
                            (and
                                (instance ?CLEAN RoomCleaningService)
                                (patient ?CLEAN ?ROOM))))))) Likely))
Hotel.kif 2622-2638
(=>
    (and
        (instance ?POLICY WithHousekeepingPolicy)
        (policyOwner ?AGENT ?POLICY)
        (attribute ?AGENT TravelerAccommodation))
    (modalAttribute
        (exists (?GUEST ?ROOM)
            (and
                (guest ?GUEST ?AGENT)
                (holdsDuring
                    (WhenFn
                        (stays ?GUEST ?ROOM))
                    (exists (?CLEAN)
                        (and
                            (instance ?CLEAN RoomCleaningService)
                            (patient ?CLEAN ?ROOM)))))) Likely))
Hotel.kif 2645-2660
(=>
    (and
        (instance ?X Nursery)
        (element ?X
            (PropertyFn ?HOTEL))
        (attribute ?HOTEL TravelerAccommodation))
    (and
        (attribute ?X CommunalAttribute)
        (employs ?HOTEL ?NANNY)
        (hasPurpose ?NANNY
            (exists (?CARE)
                (and
                    (instance ?CARE ChildCareService)
                    (serviceProvider ?CARE ?NANNY))))))
Hotel.kif 1846-1858
(=>
    (and
        (offers ?HOTEL ?MP)
        (instance ?MP MealPlan)
        (includedMeal ?MP ?ATTR)
        (attribute ?HOTEL TravelerAccommodation)
        (guest ?GUEST ?HOTEL)
        (buys ?GUEST ?HOTEL ?MP))
    (holdsDuring
        (WhenFn
            (guest ?GUEST ?HOTEL))
        (exists (?TI)
            (holdsDuring ?TI
                (exists (?MEAL)
                    (and
                        (attribute ?MEAL ?ATTR)
                        (hasPurpose ?MEAL
                            (exists (?E)
                                (and
                                    (instance ?E Eating)
                                    (agent ?E ?GUEST)
                                    (patient ?E ?MEAL))))))))))
Hotel.kif 1502-1522
(=>
    (and
        (rents ?GUEST ?HOTEL ?ROOM ?TI)
        (attribute ?HOTEL TravelerAccommodation)
        (instance ?ROOM HotelUnit))
    (holdsDuring ?TI
        (guest ?GUEST ?HOTEL)))
Hotel.kif 64-70
(=>
    (attribute ?X TravelerAccommodation)
    (hasPurpose ?X
        (exists (?GUEST ?ROOM)
            (and
                (rents ?GUEST ?X ?ROOM ?TI)
                (instance ?ROOM HotelUnit)
                (element ?ROOM
                    (PropertyFn ?X))))))
Hotel.kif 45-52

consequent
-------------------------


(=>
    (accommodationProvider ?PKG ?HOTEL)
    (attribute ?HOTEL TravelerAccommodation))
Hotel.kif 2704-2706
(=>
    (and
        (fulfillingEntity ?AGENT ?RESERVE)
        (instance ?RESERVE HotelReservation))
    (attribute ?AGENT TravelerAccommodation))
Hotel.kif 2783-2787
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR HotelRating))
    (attribute ?ENTITY TravelerAccommodation))
Hotel.kif 2961-2965
(=>
    (instance ?POLICY HousekeepingPolicy)
    (exists (?AGENT)
        (and
            (policyOwner ?AGENT ?POLICY)
            (attribute ?AGENT TravelerAccommodation))))
Hotel.kif 2583-2588
(=>
    (instance ?ROOM HotelUnit)
    (exists (?HOTEL)
        (and
            (attribute ?HOTEL TravelerAccommodation)
            (element ?ROOM
                (PropertyFn ?HOTEL)))))
Hotel.kif 98-103
(=>
    (instance ?X HotelFrontDesk)
    (exists (?ORG)
        (and
            (attribute ?ORG TravelerAccommodation)
            (subOrganization ?X ?ORG))))
Hotel.kif 1692-1697


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners