No TPTP formula. May not be expressible in strict first order. |
Sports.kif 141-141 |
Aikido 是 MartialArts 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 147-147 |
Capoeira 是 MartialArts 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 136-136 |
Judo 是 MartialArts 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 139-139 |
Karate 是 MartialArts 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 145-145 |
KungFu 是 MartialArts 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 143-143 |
Taekwondo 是 MartialArts 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 134-134 |
|