No TPTP formula. May not be expressible in strict first order. |
naics.kif 11425-11425 |
Amusement and theme parks is a subattribute of amusement parks and arcades |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11471-11471 |
Amusement arcades is a subattribute of amusement parks and arcades |
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 |
|