No TPTP formula. May not be expressible in strict first order. | Geography.kif 2704-2704 | Fishing e' uma sub-classe de Hunting |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 237-237 | FishingSport e' uma sub-classe de Fishing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2726-2726 | DriftnetFishing e' uma sub-classe de Fishing |
![]() |