| 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 12055-12056 | |
| (subclass Searching Investigating) | Merge.kif 12054-12054 |
| 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 12073-12086 | |
| (=> (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 12059-12071 |
| 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 13928-13950 |
|
|
|