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


No TPTP formula. May not be expressible in strict first order. naics.kif 11490-11492
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12081-12081
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12083-12083
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12080-12080
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12087-12087
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12082-12082
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12084-12084
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12086-12086
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12085-12085
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10328-10328
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12088-12088
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 11488-11488 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 11501-11501 Casino hotels is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. naics.kif 11494-11494 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 11507-11507 Other traveler accommodation is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59050-59050
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59049-59049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59048-59048

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1884-1895
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1404-1409
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2339-2354
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1471-1484
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2628-2644
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2651-2666
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1851-1863
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1507-1527
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 2711-2713
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2790-2794
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2968-2972
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2589-2594
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 1697-1702


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