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


(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 12639-12640
(subclass Pursuing IntentionalProcess) Merge.kif 12638-12638 Pursuing is a subclass of intentional process

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


(subclass Hunting Pursuing) Merge.kif 12663-12663 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 1597-1597

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


(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (not
            (possesses ?AGENT ?OBJ))))
Merge.kif 12656-12661
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))
Merge.kif 12649-12654
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))
Merge.kif 12642-12647

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


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