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

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


s__documentation(s__TravelerAccommodation,s__EnglishLanguage,'"An Attribute of an Organization, that specifies that the primary business of the organization involves Traveler Accommodation."')

naics.kif 11574-11576
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 01/ CLHS_Staff_Accommodation.JPG"')

pictureList.kif 12080-12080
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 1/ 14/ Histana_Hotel.jpg"')

pictureList.kif 12082-12082
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2c/ Accommodation_block_on_container_ship.jpg"')

pictureList.kif 12079-12079
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ KIA_check-in.jpg"')

pictureList.kif 12086-12086
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ Levin_alppitalo.jpg"')

pictureList.kif 12081-12081
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ WM2007_PreparationFinalDay-03.jpg"')

pictureList.kif 12083-12083
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Former_St_Wilfrid%27s_Church%2C_Elm_Grove%2C_Brighton_01.jpg"')

pictureList.kif 12085-12085
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ WM2007_PreparationFinalDay-01.jpg"')

pictureList.kif 12084-12084
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ d/ d5/ Refugees_Accommodation_in_Tbilisi.jpg"')

pictureList.kif 10327-10327
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ fa/ Front_desk-hotel.JPG"')

pictureList.kif 12087-12087
s__relatedInternalConcept(s__TravelerAccommodation,s__TourismIndustry)

Economy.kif 1907-1907 Traveler accommodation is internally related to tourism industry
s__subAttribute(s__TravelerAccommodation,s__Accommodation)

naics.kif 11572-11572 Traveler accommodation is a subattribute of accommodation

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


s__subAttribute(s__CasinoHotels,s__TravelerAccommodation)

naics.kif 11585-11585 Casino hotels is a subattribute of traveler accommodation
s__subAttribute(s__HotelsExceptCasinoHotelsAndMotels,s__TravelerAccommodation)

naics.kif 11578-11578 Hotels except casino hotels and motels is a subattribute of traveler accommodation
s__subAttribute(s__OtherTravelerAccommodation,s__TravelerAccommodation)

naics.kif 11591-11591 Other traveler accommodation is a subattribute of traveler accommodation
s__termFormat(s__ChineseLanguage,s__TravelerAccommodation,'"旅客住宿"')

domainEnglishFormat.kif 59033-59033
s__termFormat(s__ChineseTraditionalLanguage,s__TravelerAccommodation,'"旅客住宿"')

domainEnglishFormat.kif 59032-59032
s__termFormat(s__EnglishLanguage,s__TravelerAccommodation,'"traveler accommodation"')

domainEnglishFormat.kif 59031-59031

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


( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       (((s__attribute(V__X,s__TravelerAccommodation) &
             s__capability(s__RoomCleaningService,s__agent__m,V__X))
         =>
         (( ? [V__MAID, V__HOTELROOM] :
             ((s__instance(V__MAID,s__CognitiveAgent) &
                 (s__employs(V__X,V__MAID)
                 &
                 s__attribute(V__MAID,s__Maid) &
                 s__instance(V__HOTELROOM,s__HotelUnit) &
                 s__part(V__HOTELROOM,s__PropertyFn(V__X))
             &
             s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
           &
           s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))))))))
)
)

Hotel.kif 1910-1921
( ! [V__X,V__CASINO] :
   ((s__instance(V__X,s__Agent) =>
       (((s__attribute(V__X,s__TravelerAccommodation) &
             s__element(V__CASINO,s__PropertyFn(V__X))
         &
         s__instance(V__CASINO,s__Casino))
       =>
       (s__attribute(V__X,s__CasinoHotels)))))
)
)

Hotel.kif 1430-1435
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__X,s__CognitiveAgent))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__employs(V__AGENT,V__X)
         &
         s__attribute(V__AGENT,s__TravelerAccommodation) &
         s__attribute(V__X,s__Porter) &
         s__possesses(V__CUST,V__LUGGAGE)
       &
       s__instance(V__LUGGAGE,s__TravelContainer))
     =>
     (( ? [V__ROOM, V__CARRY] :
         ((s__instance(V__ROOM,s__HotelUnit) &
             s__instance(V__CARRY,s__Carrying) &
             s__agent(V__CARRY,V__X)
           &
           (s__destination(V__CARRY,V__ROOM)
           |
           s__origin(V__CARRY,V__ROOM)))))))))
)
)

Hotel.kif 2365-2380
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1497-1510
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2654-2670
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2677-2692
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1877-1889
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1533-1553
No TPTP formula. May not be expressible in strict first order. Hotel.kif 64-70
No TPTP formula. May not be expressible in strict first order. Hotel.kif 45-52

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


( ! [V__PKG,V__HOTEL] :
   (((s__instance(V__PKG,s__HotelPackage) &
         s__instance(V__HOTEL,s__Organization))
       =>
       ((s__accommodationProvider(V__PKG,V__HOTEL)
         =>
         (s__attribute(V__HOTEL,s__TravelerAccommodation)))))
   )
)

Hotel.kif 2737-2739
( ! [V__AGENT,V__RESERVE] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__fulfillingEntity(V__AGENT,V__RESERVE)
           &
           s__instance(V__RESERVE,s__HotelReservation))
         =>
         (s__attribute(V__AGENT,s__TravelerAccommodation)))))
   )
)

Hotel.kif 2816-2820
( ! [V__AGENT,V__ATTR,V__ENTITY] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ENTITY,s__Object))
       =>
       (((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
           &
           s__instance(V__ATTR,s__HotelRating))
         =>
         (s__attribute(V__ENTITY,s__TravelerAccommodation)))))
   )
)

Hotel.kif 2994-2998
( ! [V__POLICY] :
   ((s__instance(V__POLICY,s__HousekeepingPolicy) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__Organization) &
               (s__policyOwner(V__AGENT,V__POLICY)
               &
               s__attribute(V__AGENT,s__TravelerAccommodation)))))))
   )
)

Hotel.kif 2615-2620
( ! [V__ROOM] :
   ((s__instance(V__ROOM,s__HotelUnit) =>
       (( ? [V__HOTEL] :
           ((s__instance(V__HOTEL,s__Agent) &
               (s__attribute(V__HOTEL,s__TravelerAccommodation) &
                 s__element(V__ROOM,s__PropertyFn(V__HOTEL))))))))
)
)

Hotel.kif 98-103
( ! [V__X] :
   ((s__instance(V__X,s__HotelFrontDesk) =>
       (( ? [V__ORG] :
           ((s__instance(V__ORG,s__Organization) &
               (s__attribute(V__ORG,s__TravelerAccommodation) &
                 s__subOrganization(V__X,V__ORG)))))))
   )
)

Hotel.kif 1723-1728


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