Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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, celioscopy, chase, chase_after, check, clam, colonoscopy, coursing, cruise, culdoscopy, cull, dark_field_illumination, dark_ground_illumination, deerstalking, devastation, divine, dog, dowse, dowsing, duck_hunting, ducking, endoscopy, ensnare, entrap, examination, exploration, feel, ferret, fine-tooth_comb, fine-toothed_comb, fire_watching, flexible_sigmoidoscopy, fluorescence_microscopy, follow, following, forage, foraging...

VerbNet: berry-13.7|berry, berry-13.7|birdnest, berry-13.7|birdnest, berry-13.7|blackberry, get-13.5.1|catch, chase-51.6|trail, chase-51.6|trail, berry-13.7|clam, wipe_manner-10.4.1|pluck, chase-51.6|trail, pocket-9.10|trap, pocket-9.10|trap, hunt-35.1|feel, chase-51.6|pursue, rummage-35.5|forage, rummage-35.5|grope, chase-51.6|trail, chase-51.6|trail, rummage-35.5|scrabble, hunt-35.1|hunt, hunt-35.1|hunt, hunt-35.1|mine, berry-13.7|mushroom, berry-13.7|nest, berry-13.7|nut, berry-13.7|oyster, berry-13.7|pearl, wipe_manner-10.4.1|pluck, wipe_manner-10.4.1|pluck, berry-13.7|prawn, chase-51.6|pursue, mine-10.9|quarry, rummage-35.5|scrabble, investigate-35.4|test, rummage-35.5|forage, chase-51.6|shadow, pit-10.7|snail, pocket-9.10|trap, berry-13.7|snipe, berry-13.7|sponge, stalk-35.3|stalk, chase-51.6|trail, chase-51.6|trail, investigate-35.4|test, hunt-35.1|hunt, chase-51.6|trail, chase-51.6|trail, pocket-9.10|trap, pocket-9.10|trap,


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


(documentation Pursuing ChineseLanguage "这是寻找某样东西 IntentionalProcess 的类别。一些例子 如:狩猎、购物、拖网和跟踪") Merge.kif 17171-17172
(documentation Pursuing EnglishLanguage "The class of IntentionalProcesses where something is sought. Some examples would be hunting, shopping, trawling, and stalking.") Merge.kif 17169-17170
(subclass Pursuing IntentionalProcess) Merge.kif 17168-17168 Pursuing is a subclass of intentional process

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


(subclass Hunting Pursuing) Merge.kif 17195-17195 Hunting is a subclass of pursuing
(subclass SearchAttempt Pursuing) UXExperimentalTerms.kif 2549-2549 Search attempt is a subclass of pursuing
(termFormat ChineseLanguage Pursuing "追求") chinese_format.kif 1190-1190 "追求" is the printable form of pursuing in ChineseLanguage
(termFormat EnglishLanguage Pursuing "pursuing") english_format.kif 2279-2279 "pursuing" is the printable form of pursuing in english language
(termFormat JapaneseLanguage Pursuing "追求") english_format.kif 2280-2280 "追求" is the printable form of pursuing in japanese language

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


(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (not
            (possesses ?AGENT ?OBJ))))
Merge.kif 17188-17193
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))
Merge.kif 17181-17186
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))
Merge.kif 17174-17179

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


(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))
Merge.kif 16284-16291
(=>
    (and
        (instance ?RO RecoveryOperation)
        (patient ?RO ?TARGET))
    (hasPurpose ?RO
        (exists (?PROCESS)
            (and
                (patient ?PROCESS ?TARGET)
                (instance ?PROCESS
                    (UnionFn Classifying
                        (UnionFn Pursuing
                            (UnionFn Discovering
                                (UnionFn Locating Returning)))))))))
MilitaryProcesses.kif 547-559


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners