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 58974-58974
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58973-58973
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58972-58972

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1883-1894
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1403-1408
No TPTP formula. May not be expressible in strict first order. 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2710-2712
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2789-2793
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2967-2971
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2588-2593
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 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 3.0 is open source software produced by Articulate Software and its partners