Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TravelerAccommodation

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 12054-12054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12056-12056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12053-12053
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12060-12060
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12055-12055
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12057-12057
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12059-12059
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12058-12058
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10307-10307
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12061-12061
No TPTP formula. May not be expressible in strict first order. Economy.kif 1903-1903 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 59066-59066
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59065-59065
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59064-59064

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1452-1457
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1522-1535
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2681-2697
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2704-2719
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1902-1914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1558-1578
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 2768-2770
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2847-2851
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3030-3034
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2642-2647
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 1748-1753


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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