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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pursuing

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 12921-12922
(subclass Pursuing IntentionalProcess) Merge.kif 12920-12920

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


(subclass Hunting Pursuing) Merge.kif 12945-12945
(subclass SearchAttempt Pursuing) UXExperimentalTerms.kif 2342-2342
(termFormat ChineseLanguage Pursuing "追求") chinese_format.kif 1190-1190
(termFormat EnglishLanguage Pursuing "pursuing") english_format.kif 1597-1597
(termFormat FrenchLanguage Pursuing "pursuivre") french_format.kif 868-868
(termFormat Hindi Pursuing "anisarana") terms-hindi.txt 401-401
(termFormat ItalianLanguage Pursuing "Cercare") terms-it.txt 404-404
(termFormat JapaneseLanguage Pursuing "追求") japanese_format.kif 2552-2552
(termFormat PortugueseLanguage Pursuing "Perseguir") portuguese_format.kif 820-820
(termFormat cb Pursuing "paglutos") terms-cb.txt 406-406
(termFormat cz Pursuing "pursuing") terms-cz.txt 440-440
(termFormat ro Pursuing "urmãrire") relations-ro.kif 889-889
(termFormat tg Pursuing "tugisin") terms-tg.txt 405-405

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


(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (not
            (possesses ?AGENT ?OBJ))))
Merge.kif 12938-12943
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))
Merge.kif 12931-12936
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))
Merge.kif 12924-12929

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


(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ))
    (exists (?PURSUE)
        (and
            (instance ?PURSUE Pursuing)
            (meetsTemporally
                (WhenFn ?PURSUE)
                (WhenFn ?DISCOVER)))))
Merge.kif 12010-12017
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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