Hunting(hunting) | ambush, course, deer_hunt, deer_hunting, drive, falcon, ferret, fowl, foxhunt, grouse, hawk, hunt, hunt_down, hunting, jack, jacklight, rabbit, run, seal, still-hunt, track_down, turtle, whelk |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3228-3229 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12900-12901 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 509-509 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12899-12899 | Hunting is a subclass of pursuing |
appearance as argument number 2 |
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. | domainEnglishFormat.kif 28941-28941 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28940-28940 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28939-28939 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12910-12920 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12903-12908 |
|