| 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 12013-12015 | |
| (subclass Investigating IntentionalProcess) | Merge.kif 12012-12012 |
| appearance as argument number 2 |
|
|
| (subclass DiagnosticProcess Investigating) | Merge.kif 12043-12043 | |
| (subclass Espionage Investigating) | Mid-level-ontology.kif 11569-11569 | |
| (subclass Experimenting Investigating) | Merge.kif 12038-12038 | |
| (subclass OffensiveInformationOperation Investigating) | MilitaryProcesses.kif 1872-1872 | |
| (subclass Polling Investigating) | Mid-level-ontology.kif 11584-11584 | |
| (subclass ReconnaissanceOperation Investigating) | MilitaryProcesses.kif 674-674 | |
| (subclass ResearchingWeaponOfMassDestruction Investigating) | WMD.kif 715-715 | |
| (subclass Searching Investigating) | Merge.kif 12054-12054 | |
| (termFormat ChineseLanguage Investigating "调查") | chinese_format.kif 1191-1191 | |
| (termFormat EnglishLanguage Investigating "investigating") | english_format.kif 1604-1604 |
| antecedent |
|
|
| (=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (hasPurposeForAgent ?INVESTIGATE (knows ?AGENT ?PROP) ?AGENT)) |
Merge.kif 12030-12036 | |
| (=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP)))) |
Merge.kif 12023-12028 | |
| (=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula)) |
Merge.kif 12017-12021 |
| consequent |
|
|
| (=> (instance ?COMMISSION Commission) (hasPurpose ?COMMISSION (exists (?INVESTIGATE ?ISSUE) (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?ISSUE) (agent ?INVESTIGATE ?COMMISSION))))) |
Mid-level-ontology.kif 8148-8154 |
|
|
|