No TPTP formula. May not be expressible in strict first order. | Geography.kif 2704-2704 | 子類 釣魚 and 狩獵 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 237-237 | 子類 FishingSport and 釣魚 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2726-2726 | 子類 漂網漁船 and 釣魚 |
![]() |