No TPTP formula. May not be expressible in strict first order. |
naics.kif 11425-11425 |
子屬性 娛樂和主題公園 and 遊樂園和商場 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11471-11471 |
子屬性 遊樂場 and 遊樂園和商場 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7350-7350 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7349-7349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7348-7348 |
|