No TPTP formula. May not be expressible in strict first order. |
naics.kif 11580-11582 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8406-8406 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9030-9030 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9031-9031 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9032-9032 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11578-11578 |
CasinoHotels est un sous-attribut de TravelerAccommodation |