Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pursuing
Pursuing

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 12633-12634
(subclass Pursuing IntentionalProcess) Merge.kif 12632-12632

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


(subclass Hunting Pursuing) Merge.kif 12657-12657
(subclass SearchAttempt Pursuing) UXExperimentalTerms.kif 2552-2552
(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 12650-12655
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))
Merge.kif 12643-12648
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))
Merge.kif 12636-12641

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


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