HotelsExceptCasinoHotelsAndMotels - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11573-11576
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11188-11188
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11182-11182
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11186-11186
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11181-11181
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11185-11185
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11187-11187
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11183-11183
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11189-11189
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10057-10057
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11184-11184
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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28683-28683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28682-28682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28681-28681