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

KB Term:  Term intersection
English Word: 

Sigma KEE - Pursuing
Pursuing(pursuing)audit, bag, bank_examination, batfowl, battue, beagling, berry, bird-nest, birdnest, birdnesting, blackberry, canned_hunt, capture, catch, chase, chase_after, check, clam, coursing, cruise, cull, dark_field_illumination, dark_ground_illumination, deerstalking, devastation, divine, dog, dowse, dowsing, duck_hunting, ducking, ensnare, entrap, examination, exploration, feel, ferret, fine-tooth_comb, fine-toothed_comb, fire_watching, fluorescence_microscopy, follow, following, forage, foraging, fox_hunting, foxhunt, frisk, frisking, frog...

appearance as argument number 1
-------------------------


(subclass Pursuing IntentionalProcess) Merge.kif 13164-13164 Pursuing is a subclass of intentional process
(documentation Pursuing EnglishLanguage "The class of IntentionalProcesses where something is sought. Some examples would be hunting, shopping, trawling, and stalking.") Merge.kif 13165-13166 Pursuing is a subclass of intentional process

appearance as argument number 2
-------------------------


(subclass Hunting Pursuing) Merge.kif 13189-13189 Hunting is a subclass of pursuing
(subclass SearchAttempt Pursuing) UXExperimentalTerms.kif 2343-2343 Search attempt is a subclass of pursuing
(termFormat EnglishLanguage Pursuing "pursuing") english_format.kif 1601-1601 Search attempt is a subclass of pursuing

antecedent
-------------------------


(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))		 Merge.kif 13168-13173 If X is an instance of pursuing, then there exists Y such that Y is an instance of object and Y is a patient of X
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))		 Merge.kif 13175-13180 If X is an instance of pursuing, Y is an agent of X, and Z is a patient of X, then Y wants Z holds during X
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (not
            (possesses ?AGENT ?OBJ))))		 Merge.kif 13182-13187 If X is an instance of pursuing, Y is an agent of X, and Z is a patient of X, then Y doesn't possess Z holds during X

consequent
-------------------------


(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))		 Merge.kif 12247-12254 If X is an instance of discovering and Y is a patient of X, then there exists Z such that Z is an instance of pursuing and the time of existence of Z meets the time of existence of X


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


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