No TPTP formula. May not be expressible in strict first order. |
naics.kif 11425-11425 |
娱乐和主题公园 是 游乐园和商场 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11471-11471 |
游乐场 是 游乐园和商场 的 subAttribute |
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 |
|