| Searching | |
| appearance as argument number 1 |
|
|
| (documentation Searching ChineseLanguage "这是为了让 CognitiveAgent 知道一个 Physical 的位置而采取的 IntentionalProcess。") | chinese_format.kif 4062-4062 | |
| (documentation Searching EnglishLanguage "An IntentionalProcess which has the purpose for a CognitiveAgent to learn the location of a Physical.") | Merge.kif 13120-13121 | |
| (subclass Searching Investigating) | Merge.kif 13119-13119 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Searching "searching") | domainEnglishFormat.kif 65460-65460 | |
| (termFormat Hindi Searching "khoja") | terms-hindi.txt 400-400 | |
| (termFormat ItalianLanguage Searching "Ricercare") | terms-it.txt 403-403 | |
| (termFormat cb Searching "pagpangita") | terms-cb.txt 405-405 | |
| (termFormat cz Searching "searching") | terms-cz.txt 439-439 | |
| (termFormat de Searching "Suchen") | terms-de.txt 698-698 | |
| (termFormat tg Searching "paghahanap") | terms-tg.txt 404-404 |
| antecedent |
|
|
| (=> (and (instance ?S Searching) (patient ?S ?OBJ) (instance ?OBJ Physical)) (exists (?LOC ?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT)))) |
Merge.kif 13138-13151 | |
| (=> (instance ?S Searching) (exists (?AGENT ?OBJ ?LOC) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?OBJ Physical) (patient ?S ?OBJ) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT)))) |
Merge.kif 13124-13136 |
| consequent |
|
|
| (=> (instance ?D Disappearing) (exists (?OBJ ?AGENT ?SEARCH ?TIME) (and (instance ?SEARCH Searching) (earlier (WhenFn ?D) (WhenFn ?SEARCH)) (agent ?SEARCH ?AGENT) (instance ?OBJ Object) (patient ?D ?OBJ) (patient ?SEARCH ?OBJ) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?SEARCH)) (holdsDuring ?TIME (not (modalAttribute (exists (?DISC) (and (instance ?DISC Discovering) (agent ?DISC ?AGENT) (patient ?DISC ?OBJ))) Possibility)))))) |
Mid-level-ontology.kif 18874-18896 |
|
|
|