No TPTP formula. May not be expressible in strict first order. |
naics.kif 11493-11493 |
CasinosExceptCasinoHotels est un sous-attribut de GamblingIndustries |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11500-11500 |
OtherGamblingIndustries est un sous-attribut de GamblingIndustries |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25424-25424 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25423-25423 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25422-25422 |
|