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 12875-12876
(subclass Pursuing IntentionalProcess) Merge.kif 12874-12874 追求有意图过程subclass

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


(subclass Hunting Pursuing) Merge.kif 12899-12899 狩猎追求subclass
(subclass SearchAttempt Pursuing) UXExperimentalTerms.kif 2342-2342 SearchAttempt追求subclass
(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 12892-12897
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))
Merge.kif 12885-12890
(=>
    (instance ?PURSUE Pursuing)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?PURSUE ?OBJ))))
Merge.kif 12878-12883

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


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