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 的类别。一些例子 如:狩猎、购物、拖网和跟踪") chinese_format.kif 3226-3227
(documentation Pursuing EnglishLanguage "The class of IntentionalProcesses where something is sought. Some examples would be hunting, shopping, trawling, and stalking.") Merge.kif 11929-11930
(subclass Pursuing IntentionalProcess) Merge.kif 11928-11928 Pursuing is a subclass of intentional process

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


(subclass Hunting Pursuing) Merge.kif 11953-11953 Hunting is a subclass of pursuing
(subclass SearchAttempt Pursuing) UXExperimentalTerms.kif 2547-2547 Search attempt is a subclass of pursuing
(termFormat ChineseLanguage Pursuing "追求") chinese_format.kif 1190-1190
(termFormat EnglishLanguage Pursuing "pursuing") english_format.kif 1602-1602

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


(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (not
            (possesses ?AGENT ?OBJ))))
Merge.kif 11946-11951
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))
Merge.kif 11939-11944
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))
Merge.kif 11932-11937

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


(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))
Merge.kif 11158-11165
(=>
    (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 558-570


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 is open source software produced by Articulate Software and its partners