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 147-147 |
Capoeira est une sous-classe de MartialArts |
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 145-145 |
KungFu 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 134-134 |
|