| 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 12980-12982 | |
| (subclass Investigating IntentionalProcess) | Merge.kif 12979-12979 |
| appearance as argument number 2 |
|
|
| (subclass DiagnosticProcess Investigating) | Merge.kif 13010-13010 | |
| (subclass Espionage Investigating) | Mid-level-ontology.kif 14182-14182 | |
| (subclass Experimenting Investigating) | Merge.kif 13005-13005 | |
| (subclass GramStaining Investigating) | Medicine.kif 5331-5331 | |
| (subclass OffensiveInformationOperation Investigating) | MilitaryProcesses.kif 1891-1891 | |
| (subclass PartInspection Investigating) | Economy.kif 1928-1928 | |
| (subclass Polling Investigating) | Mid-level-ontology.kif 14198-14198 | |
| (subclass ReconnaissanceOperation Investigating) | MilitaryProcesses.kif 674-674 | |
| (subclass ResearchingWeaponOfMassDestruction Investigating) | WMD.kif 720-720 | |
| (subclass Searching Investigating) | Merge.kif 13021-13021 | |
| (termFormat ChineseLanguage Investigating "调查") | chinese_format.kif 1191-1191 | |
| (termFormat EnglishLanguage Investigating "investigating") | english_format.kif 1599-1599 | |
| (termFormat FrenchLanguage Investigating "enqu�ter") | french_format.kif 869-869 | |
| (termFormat Hindi Investigating "anveshana karma") | terms-hindi.txt 402-402 | |
| (termFormat ItalianLanguage Investigating "Investigare") | terms-it.txt 405-405 | |
| (termFormat JapaneseLanguage Investigating "捜査") | japanese_format.kif 2553-2553 | |
| (termFormat PortugueseLanguage Investigating "Investigacao") | portuguese_format.kif 821-821 | |
| (termFormat cb Investigating "pag-imbestigar") | terms-cb.txt 407-407 | |
| (termFormat cz Investigating "investigating") | terms-cz.txt 441-441 | |
| (termFormat ro Investigating "investigare") | relations-ro.kif 890-890 | |
| (termFormat tg Investigating "nagsisiyasat") | terms-tg.txt 406-406 |
| antecedent |
|
|
| (=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (hasPurposeForAgent ?INVESTIGATE (knows ?AGENT ?PROP) ?AGENT)) |
Merge.kif 12997-13003 | |
| (=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP)))) |
Merge.kif 12990-12995 | |
| (=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula)) |
Merge.kif 12984-12988 |
| 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 4013-4026 | |
| (=> (instance ?COMMISSION Commission) (hasPurpose ?COMMISSION (exists (?INVESTIGATE ?ISSUE) (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?ISSUE) (agent ?INVESTIGATE ?COMMISSION))))) |
Mid-level-ontology.kif 8659-8666 |
|
|
|