| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7535-7535 | Team sport is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 93-93 | Cricket is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 118-118 | Hockey is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 120-120 | Ice hockey is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 122-122 | Handball is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 124-124 | Rugby is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 128-128 | Dodgeball is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 153-153 | Netball is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 156-156 | Soccer is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 241-241 | Volleyball is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 604-604 | Baseball is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 768-768 | Basketball is a subclass of team sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 807-807 | Foot ball US is a subclass of team sport |
|
|