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 11490-11492
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 01/ CLHS_Staff_Accommodation.JPG"')

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

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

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

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

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

pictureList.kif 12084-12084
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 12086-12086
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ WM2007_PreparationFinalDay-01.jpg"')

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

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

pictureList.kif 12088-12088
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 11488-11488 Traveler accommodation is a subattribute of accommodation

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


s__subAttribute(s__CasinoHotels,s__TravelerAccommodation)

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

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

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

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

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

domainEnglishFormat.kif 58951-58951

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 1883-1894
( ! [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 1403-1408
( ! [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 2338-2353
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1470-1483
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2627-2643
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2650-2665
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1850-1862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1506-1526
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 2710-2712
( ! [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 2789-2793
( ! [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 2967-2971
( ! [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 2588-2593
( ! [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 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