SoutheasternEurope HotelsExceptCasinoHotelsAndMotels
|
|
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 | HotelsExceptCasinoHotelsAndMotels e' um sub-atributo de TravelerAccommodation |
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 |