Racing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7550-7552 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7549-7549 | Racing is a subclass of sport |
appearance as argument number 2 |
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 |