Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Hunting

 Sigma KEE - Hunting
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners