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 11567-11569
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12043-12043
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12045-12045
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12042-12042
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12049-12049
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12044-12044
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12046-12046
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12048-12048
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12047-12047
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10305-10305
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12050-12050
No TPTP formula. May not be expressible in strict first order. Economy.kif 2028-2028 Traveler accommodation is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. naics.kif 11565-11565 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 11578-11578 Casino hotels is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. naics.kif 11571-11571 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 11584-11584 Other traveler accommodation is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59050-59050 Other traveler accommodation is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59049-59049 Other traveler accommodation is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59048-59048 Other traveler accommodation is a subattribute of traveler accommodation

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1946-1957
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1463-1468
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2403-2418
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1533-1546
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2692-2708
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2715-2730
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1913-1925
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1569-1589
No TPTP formula. May not be expressible in strict first order. Hotel.kif 69-75
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 2779-2781
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2858-2862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3041-3045
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2653-2658
No TPTP formula. May not be expressible in strict first order. Hotel.kif 103-108
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1759-1764


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