No TPTP formula. May not be expressible in strict first order. |
naics.kif 11332-11332 |
子屬性 其他觀眾體育 and 觀眾體育 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11326-11326 |
子屬性 賽道 and 觀眾體育 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11319-11319 |
子屬性 運動隊和俱樂部 and 觀眾體育 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54588-54588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54587-54587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54586-54586 |
|