Fishing(fishing) | angle, brail, crab, fish, fly-fish, flyfish, net_fish, rail, scallop, scollop, seine, shark, shrimp, still-fish, trawl, troll, whale |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2705-2706 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 434-434 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2704-2704 | Fishing is a subclass of hunting |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2726-2726 | Driftnet fishing is a subclass of fishing |
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. | domainEnglishFormat.kif 24014-24014 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24013-24013 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24012-24012 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2708-2713 |
|