Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Investigating

Sigma KEE - Investigating
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 12924-12926
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923 捜査意図的なプロセスsubclass では %n

appearance as argument number 2
-------------------------


(subclass DiagnosticProcess Investigating) Merge.kif 12954-12954 診断プロセス捜査subclass では %n
(subclass Espionage Investigating) Mid-level-ontology.kif 13932-13932 Espionage捜査subclass では %n
(subclass Experimenting Investigating) Merge.kif 12949-12949 Experimenting捜査subclass では %n
(subclass GramStaining Investigating) Medicine.kif 5343-5343 GramStaining捜査subclass では %n
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1891-1891 OffensiveInformationOperation捜査subclass では %n
(subclass Polling Investigating) Mid-level-ontology.kif 13948-13948 Polling捜査subclass では %n
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 ReconnaissanceOperation捜査subclass では %n
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 720-720 ResearchingWeaponOfMassDestruction捜査subclass では %n
(subclass Searching Investigating) Merge.kif 12965-12965 Searching捜査subclass では %n
(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 12941-12947
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (holdsDuring
        (WhenFn ?INVESTIGATE)
        (not
            (knows ?AGENT ?PROP))))
Merge.kif 12934-12939
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (patient ?INVESTIGATE ?PROP))
    (instance ?PROP Formula))
Merge.kif 12928-12932

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 8441-8448


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners