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
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 11492-11494
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12081-12081 "http://upload.wikimedia.org/wikipedia/commons/0/01/ CLHS_Staff_Accommodation.JPG" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12083-12083 "http://upload.wikimedia.org/wikipedia/commons/1/14/ Histana_Hotel.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12080-12080 "http://upload.wikimedia.org/wikipedia/commons/2/2c/ Accommodation_block_on_container_ship.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12087-12087 "http://upload.wikimedia.org/wikipedia/commons/3/37/ KIA_check-in.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12082-12082 "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Levin_alppitalo.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12084-12084 "http://upload.wikimedia.org/wikipedia/commons/8/81/ WM2007_PreparationFinalDay-03.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12085-12085 "http://upload.wikimedia.org/wikipedia/commons/b/b7/ WM2007_PreparationFinalDay-01.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10328-10328 "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Refugees_Accommodation_in_Tbilisi.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12088-12088 "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Front_desk-hotel.JPG" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1907-1907 Traveler accommodation is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. naics.kif 11490-11490 Traveler accommodation is a subattribute of accommodation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11503-11503 Casino hotels is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. naics.kif 11496-11496 Hotels except casino hotels and motels is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. naics.kif 11509-11509 Other traveler accommodation is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10273-10273 "traveler accommodation" is the printable form of traveler accommodation in english language

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1879-1890
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1399-1404
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2333-2348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1466-1479
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2622-2638
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2645-2660
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1846-1858
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1502-1522
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2704-2706
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2783-2787
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1156-1174
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1084-1101
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 959-975
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 808-823
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2961-2965
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 729-738
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 786-791
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2583-2588
No TPTP formula. May not be expressible in strict first order. Hotel.kif 98-103
No TPTP formula. May not be expressible in strict first order. 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