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 147-147 |
子類 Capoeira and MartialArts |
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 145-145 |
子類 KungFu 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 134-134 |
|