Hunting
|
|
appearance as argument number 1 |
(documentation Hunting ChineseLanguage "狩猎是 Process 的类别,它是当一只动物或多只动物被追捕, 有时候被捕获和/ 或捕杀的过程。") | chinese_format.kif 3228-3229 | |
(documentation Hunting EnglishLanguage "Hunting is the class of Processes in which an animal or animals are pursued and sometimes captured and/ or killed.") | Merge.kif 12946-12947 | |
(externalImage Hunting "http://articulatesoftware.com/SUMOpictures/travel/ US_Road_Signs/ recreation/ rec_3/ hunting.png") | pictureList.kif 509-509 | |
(subclass Hunting Pursuing) | Merge.kif 12945-12945 |
appearance as argument number 2 |
(subclass Fishing Hunting) | Geography.kif 2704-2704 | |
(termFormat ChineseLanguage Hunting "狩猎") | domainEnglishFormat.kif 28941-28941 | |
(termFormat ChineseTraditionalLanguage Hunting "狩獵") | domainEnglishFormat.kif 28940-28940 | |
(termFormat EnglishLanguage Hunting "hunting") | domainEnglishFormat.kif 28939-28939 |
antecedent |
(=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 12956-12966 | |
(=> (instance ?H Hunting) (exists (?T) (and (instance ?T Animal) (patient ?H ?T)))) |
Merge.kif 12949-12954 |