No TPTP formula. May not be expressible in strict first order. |
Sports.kif 248-248 |
Car racing is a subclass of racing |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 98-98 |
Cycle racing is a subclass of racing |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 256-256 |
Motorcycle racing is a subclass of racing |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 259-259 |
Running a race is a subclass of racing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48404-48404 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48403-48403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48402-48402 |
|