| No TPTP formula. May not be expressible in strict first order. | Sports.kif 133-133 | MartialArts est une sous-classe de sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 136-136 | Judo est une sous-classe de MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 139-139 | Karate est une sous-classe de MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 141-141 | Aikido est une sous-classe de MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 143-143 | Taekwondo est une sous-classe de MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 145-145 | KungFu est une sous-classe de MartialArts |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 147-147 | Capoeira est une sous-classe de MartialArts |
|
|