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...

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 11964-11965
(subclass Pursuing IntentionalProcess) Merge.kif 11963-11963 Pursuing is a subclass of intentional process

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


(subclass Hunting Pursuing) Merge.kif 11988-11988 Hunting is a subclass of pursuing
(subclass SearchAttempt Pursuing) UXExperimentalTerms.kif 2552-2552 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 11981-11986
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))
Merge.kif 11974-11979
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))
Merge.kif 11967-11972

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


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