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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TravelerAccommodation

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 11567-11569
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 01/ CLHS_Staff_Accommodation.JPG") pictureList.kif 12070-12070
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 14/ Histana_Hotel.jpg") pictureList.kif 12072-12072
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2c/ Accommodation_block_on_container_ship.jpg") pictureList.kif 12069-12069
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ KIA_check-in.jpg") pictureList.kif 12076-12076
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ Levin_alppitalo.jpg") pictureList.kif 12071-12071
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ WM2007_PreparationFinalDay-03.jpg") pictureList.kif 12073-12073
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Former_St_Wilfrid%27s_Church%2C_Elm_Grove%2C_Brighton_01.jpg") pictureList.kif 12075-12075
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ WM2007_PreparationFinalDay-01.jpg") pictureList.kif 12074-12074
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ d/ d5/ Refugees_Accommodation_in_Tbilisi.jpg") pictureList.kif 10317-10317
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ f/ fa/ Front_desk-hotel.JPG") pictureList.kif 12077-12077
(relatedInternalConcept TravelerAccommodation TourismIndustry) Economy.kif 1914-1914 relatedInternalConcept TravelerAccommodation and TourismIndustry
(subAttribute TravelerAccommodation Accommodation) naics.kif 11565-11565 subAttribute TravelerAccommodation and Accommodation

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


(subAttribute CasinoHotels TravelerAccommodation) naics.kif 11578-11578 subAttribute CasinoHotels and TravelerAccommodation
(subAttribute HotelsExceptCasinoHotelsAndMotels TravelerAccommodation) naics.kif 11571-11571 subAttribute HotelsExceptCasinoHotelsAndMotels and TravelerAccommodation
(subAttribute OtherTravelerAccommodation TravelerAccommodation) naics.kif 11584-11584 subAttribute OtherTravelerAccommodation and TravelerAccommodation
(termFormat ChineseLanguage TravelerAccommodation "旅客住宿") domainEnglishFormat.kif 59033-59033
(termFormat ChineseTraditionalLanguage TravelerAccommodation "旅客住宿") domainEnglishFormat.kif 59032-59032
(termFormat EnglishLanguage TravelerAccommodation "traveler accommodation") domainEnglishFormat.kif 59031-59031

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 1910-1921
(=>
    (and
        (attribute ?X TravelerAccommodation)
        (element ?CASINO
            (PropertyFn ?X))
        (instance ?CASINO Casino))
    (attribute ?X CasinoHotels))
Hotel.kif 1430-1435
(=>
    (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 2365-2380
(=>
    (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 1497-1510
(=>
    (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 2654-2670
(=>
    (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 2677-2692
(=>
    (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 1877-1889
(=>
    (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 1533-1553
(=>
    (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 2737-2739
(=>
    (and
        (fulfillingEntity ?AGENT ?RESERVE)
        (instance ?RESERVE HotelReservation))
    (attribute ?AGENT TravelerAccommodation))
Hotel.kif 2816-2820
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR HotelRating))
    (attribute ?ENTITY TravelerAccommodation))
Hotel.kif 2994-2998
(=>
    (instance ?POLICY HousekeepingPolicy)
    (exists (?AGENT)
        (and
            (policyOwner ?AGENT ?POLICY)
            (attribute ?AGENT TravelerAccommodation))))
Hotel.kif 2615-2620
(=>
    (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 1723-1728


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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