Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Hunting Pursuing) | Merge.kif 13189-13189 | Hunting is a subclass of pursuing |
| (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 13190-13191 | Hunting is a subclass of pursuing |
| (externalImage Hunting "http://articulatesoftware.com/SUMOpictures/travel/ US_Road_Signs/ recreation/ rec_3/ hunting.png") | pictureList.kif 509-509 | Hunting is a subclass of pursuing |
| appearance as argument number 2 |
|
|
| (subclass Fishing Hunting) | Geography.kif 4140-4140 | Fishing is a subclass of hunting |
| (termFormat EnglishLanguage Hunting "hunting") | domainEnglishFormat.kif 28943-28943 | Fishing is a subclass of hunting |
| (termFormat ChineseTraditionalLanguage Hunting "狩獵") | domainEnglishFormat.kif 28944-28944 | Fishing is a subclass of hunting |
| (termFormat ChineseLanguage Hunting "狩猎") | domainEnglishFormat.kif 28945-28945 | Fishing is a subclass of hunting |
| antecedent |
|
|
| (=> (instance ?H Hunting) (exists (?T) (and (instance ?T Animal) (patient ?H ?T)))) |
Merge.kif 13193-13198 | If X is an instance of hunting, then there exists Y such that Y is an instance of animal and Y is a patient of X |
| (=> (and (instance ?H Hunting) (patient ?H ?P)) (hasPurpose ?H (exists (?PROC) (and (patient ?PROC ?P) (or (instance ?PROC Confining) (instance ?PROC Killing)))))) |
Merge.kif 13200-13210 | If X is an instance of hunting and Y is a patient of X, then X has the purpose there exists Z such that Y is a patient of Z and Z is an instance of confining or Z is an instance of killing |
| consequent |
|
|
| (=> (instance ?S Spear) (hasPurpose ?S (exists (?P ?A) (and (instance ?A CognitiveAgent) (or (instance ?P Poking) (instance ?P Hunting) (instance ?P Attacking)) (instrument ?P ?S) (agent ?P ?A))))) |
Mid-level-ontology.kif 1235-1246 | If X is an instance of spear, then X has the purpose there exist Y, Z such that Z is an instance of cognitive agent, Y is an instance of poking, Y is an instance of hunting, or Y is an instance of Attacking, X is an instrument for Y, and Z is an agent of Y |
|