No TPTP formula. May not be expressible in strict first order. | Geography.kif 2704-2704 | Fishing est une sous-classe de Hunting |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 237-237 | FishingSport est une sous-classe de Fishing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2726-2726 | DriftnetFishing est une sous-classe de Fishing |