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 est un sous-attribut de TravelerAccommodation |