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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TravelerAccommodation
TravelerAccommodation
more pictures...

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 11490-11492
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 01/ CLHS_Staff_Accommodation.JPG") pictureList.kif 12081-12081 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/0/01/ CLHS_Staff_Accommodation.JPG"
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 14/ Histana_Hotel.jpg") pictureList.kif 12083-12083 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/1/14/ Histana_Hotel.jpg"
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2c/ Accommodation_block_on_container_ship.jpg") pictureList.kif 12080-12080 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Accommodation_block_on_container_ship.jpg"
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ KIA_check-in.jpg") pictureList.kif 12087-12087 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/3/37/ KIA_check-in.jpg"
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ Levin_alppitalo.jpg") pictureList.kif 12082-12082 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Levin_alppitalo.jpg"
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ WM2007_PreparationFinalDay-03.jpg") pictureList.kif 12084-12084 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/8/81/ WM2007_PreparationFinalDay-03.jpg"
(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 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Former_St_Wilfrid%27s_Church%2C_Elm_Grove%2C_Brighton_01.jpg"
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ WM2007_PreparationFinalDay-01.jpg") pictureList.kif 12085-12085 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/b/b7/ WM2007_PreparationFinalDay-01.jpg"
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ d/ d5/ Refugees_Accommodation_in_Tbilisi.jpg") pictureList.kif 10328-10328 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Refugees_Accommodation_in_Tbilisi.jpg"
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ f/ fa/ Front_desk-hotel.JPG") pictureList.kif 12088-12088 externalImage TravelerAccommodation and "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Front_desk-hotel.JPG"
(relatedInternalConcept TravelerAccommodation TourismIndustry) Economy.kif 1907-1907 relatedInternalConcept TravelerAccommodation and TourismIndustry
(subAttribute TravelerAccommodation Accommodation) naics.kif 11488-11488 subAttribute TravelerAccommodation and Accommodation

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


(subAttribute CasinoHotels TravelerAccommodation) naics.kif 11501-11501 subAttribute CasinoHotels and TravelerAccommodation
(subAttribute HotelsExceptCasinoHotelsAndMotels TravelerAccommodation) naics.kif 11494-11494 subAttribute HotelsExceptCasinoHotelsAndMotels and TravelerAccommodation
(subAttribute OtherTravelerAccommodation TravelerAccommodation) naics.kif 11507-11507 subAttribute OtherTravelerAccommodation and TravelerAccommodation
(termFormat ChineseLanguage TravelerAccommodation "旅客住宿") domainEnglishFormat.kif 59011-59011 termFormat ChineseLanguage, TravelerAccommodation and "旅客住宿"
(termFormat ChineseTraditionalLanguage TravelerAccommodation "旅客住宿") domainEnglishFormat.kif 59010-59010 termFormat ChineseTraditionalLanguage, TravelerAccommodation and "旅客住宿"
(termFormat EnglishLanguage TravelerAccommodation "traveler accommodation") domainEnglishFormat.kif 59009-59009 termFormat EnglishLanguage, TravelerAccommodation and "traveler accommodation"

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 1883-1894
(=>
    (and
        (attribute ?X TravelerAccommodation)
        (element ?CASINO
            (PropertyFn ?X))
        (instance ?CASINO Casino))
    (attribute ?X CasinoHotels))
Hotel.kif 1403-1408
(=>
    (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 2338-2353
(=>
    (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 1470-1483
(=>
    (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 2627-2643
(=>
    (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 2650-2665
(=>
    (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 1850-1862
(=>
    (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 1506-1526
(=>
    (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 ?TI)
            (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 2710-2712
(=>
    (and
        (fulfillingEntity ?AGENT ?RESERVE)
        (instance ?RESERVE HotelReservation))
    (attribute ?AGENT TravelerAccommodation))
Hotel.kif 2789-2793
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR HotelRating))
    (attribute ?ENTITY TravelerAccommodation))
Hotel.kif 2967-2971
(=>
    (instance ?POLICY HousekeepingPolicy)
    (exists (?AGENT)
        (and
            (policyOwner ?AGENT ?POLICY)
            (attribute ?AGENT TravelerAccommodation))))
Hotel.kif 2588-2593
(=>
    (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 1696-1701


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