|
|
   Investigating
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Investigating ChineseLanguage "这是当 agent 试图得到情报(即由一个 Formula 表示的 Proposition )的 IntentionalPsychologicalProcesses 类别。") | chinese_format.kif 3230-3231 | |
| (documentation Investigating EnglishLanguage "The class of IntentionalPsychologicalProcesses where the agent attempts to obtain information (i.e. a Proposition denoted by a Formula).") | Merge.kif 12970-12972 | |
| (subclass Investigating IntentionalProcess) | Merge.kif 12969-12969 | Investigare è una sottoclasse di ProcessoIntenzionale |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (hasPurposeForAgent ?INVESTIGATE (knows ?AGENT ?PROP) ?AGENT)) |
Merge.kif 12987-12993 |
|
| (=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP)))) |
Merge.kif 12980-12985 |
|
| (=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula)) |
Merge.kif 12974-12978 |
| consequent |
|
|
| (=> (attribute ?H ObsessiveCompulsiveDisorder) (exists (?COL ?C) (and (memberType ?COL ?C) (or (subclass ?C Investigating) (subclass ?C Cleaning)) (=> (instance ?CI ?C) (and (agent ?CI ?H) (not (wants ?H ?CI))))))) |
Medicine.kif 4025-4038 |
|
| (=> (instance ?COMMISSION Commission) (hasPurpose ?COMMISSION (exists (?INVESTIGATE ?ISSUE) (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?ISSUE) (agent ?INVESTIGATE ?COMMISSION))))) |
Mid-level-ontology.kif 8468-8475 |
|
|
|
|