No TPTP formula. May not be expressible in strict first order. | Geography.kif 2704-2704 | Fishing is a subclass of hunting |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 237-237 | Fishing sport is a subclass of fishing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2726-2726 | Driftnet fishing is a subclass of fishing |