No TPTP formula. May not be expressible in strict first order. |
Sports.kif 248-248 |
子類 CarRacing and 賽跑 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 98-98 |
子類 CycleRacing and 賽跑 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 256-256 |
子類 MotorcycleRacing and 賽跑 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 259-259 |
子類 RunningARace and 賽跑 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48406-48406 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48405-48405 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48404-48404 |
|