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 12946-12947 | |
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 12945-12945 | 狩猎 是 追求 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2704-2704 | 钓鱼 是 狩猎 的 subclass |
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 12956-12966 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12949-12954 |