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 12923-12924
(subclass Pursuing IntentionalProcess) Merge.kif 12922-12922 追求 是 有意图过程 的 subclass

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


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

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


(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (not
            (possesses ?AGENT ?OBJ))))		 Merge.kif 12940-12945
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))		 Merge.kif 12933-12938
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))		 Merge.kif 12926-12931

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


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