TravelerAccommodation(traveler accommodation)![]() ![]() ![]() | ![]() | 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 |
![]() |
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 |
|
![]() |
![]() |