| No TPTP formula. May not be expressible in strict first order. | Sports.kif 133-133 | 子類 MartialArts and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 136-136 | 子類 Judo and MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 139-139 | 子類 Karate and MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 141-141 | 子類 Aikido and MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 143-143 | 子類 Taekwondo and MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 145-145 | 子類 KungFu and MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 147-147 | 子類 Capoeira and MartialArts |
|
|