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 12070-12070
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12072-12072
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12069-12069
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12076-12076
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12071-12071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12073-12073
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12075-12075
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12074-12074
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10317-10317
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12077-12077
No TPTP formula. May not be expressible in strict first order. Economy.kif 1914-1914 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 59033-59033
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59032-59032
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59031-59031

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1910-1921
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1430-1435
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2365-2380
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1497-1510
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2654-2670
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2677-2692
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1877-1889
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1533-1553
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 2737-2739
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2816-2820
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2994-2998
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2615-2620
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 1723-1728


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