Hunting(狩獵) |
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 12922-12923 | |
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 12921-12921 | 子類 狩獵 and Pursuing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2704-2704 | 子類 釣魚 and 狩獵 |
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 12932-12942 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12925-12930 |