| 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 12897-12898 | |
| (subclass Pursuing IntentionalProcess) | Merge.kif 12896-12896 | Pursuing ist eine teilkategorie von IntentionalProcess |
| appearance as argument number 2 |
|
|
| (subclass Hunting Pursuing) | Merge.kif 12921-12921 | Hunting ist eine teilkategorie von Pursuing |
| (subclass SearchAttempt Pursuing) | UXExperimentalTerms.kif 2342-2342 | SearchAttempt ist eine teilkategorie von Pursuing |
| (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 12914-12919 |
|
| (=> (and (instance ?PURSUE Pursuing) (agent ?PURSUE ?AGENT) (patient ?PURSUE ?OBJ)) (holdsDuring ?PURSUE (wants ?AGENT ?OBJ))) |
Merge.kif 12907-12912 |
|
| (=> (instance ?PURSUE Pursuing) (exists (?OBJ) (and (instance ?OBJ Object) (patient ?PURSUE ?OBJ)))) |
Merge.kif 12900-12905 |
| consequent |
|
|
| (=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ)) (exists (?PURSUE) (and (instance ?PURSUE Pursuing) (meetsTemporally (WhenFn ?PURSUE) (WhenFn ?DISCOVER))))) |
Merge.kif 11986-11993 |
|
| (=> (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 |
|
|
|
|