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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Investigating

Sigma KEE - Investigating
Investigating(investigating)COMINT, ELINT, ELISA, ESR, GI_series, Human_Genome_Project, MOT, MOT_test, Ministry_of_Transportation_test, PKU_test, PM, Queckenstedt's_test, Rorschach, Rorschach_test, Rubin_test, SIGINT, TAT, TELINT, Thematic_Apperception_Test, acquire, administrative_hearing, airborne_patrol, allow, alpha_test, analyse, analysis, analyze, anatomize, anatomy, angle, ascertain, assay, assure, audit, audited_account, audition, authentication, autopsy, backtrack, basal_body_temperature_method, basal_body_temperature_method_of_family_planning, beat_about, bed_check, beta_test, big_science, biological_research, black_operation, breathalyse, breathalyze, browse...

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 Investigating is a subclass of intentional process

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


(subclass DiagnosticProcess Investigating) Merge.kif 12043-12043 Diagnostic process is a subclass of investigating
(subclass Espionage Investigating) Mid-level-ontology.kif 10713-10713 Espionage is a subclass of investigating
(subclass Experimenting Investigating) Merge.kif 12038-12038 Experimenting is a subclass of investigating
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1872-1872 Offensive information operation is a subclass of investigating
(subclass Polling Investigating) Mid-level-ontology.kif 10729-10729 Polling is a subclass of investigating
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 Reconnaissance operation is a subclass of investigating
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 715-715 Researching weapon of mass destruction is a subclass of investigating
(subclass Searching Investigating) Merge.kif 12054-12054 Searching is a subclass of investigating
(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 7330-7337


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