Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

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


(subclass Investigating IntentionalPsychologicalProcess) Merge.kif 13212-13212 Investigating is a subclass of intentional psychological process
(documentation Investigating EnglishLanguage "The class of IntentionalPsychologicalProcesses where the agent attempts to obtain information (i.e. a Proposition denoted by a Formula).") Merge.kif 13213-13215 Investigating is a subclass of intentional psychological process

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


(subclass Experimenting Investigating) Merge.kif 13247-13247 Experimenting is a subclass of investigating
(subclass DiagnosticProcess Investigating) Merge.kif 13252-13252 Diagnostic process is a subclass of investigating
(subclass Searching Investigating) Merge.kif 13263-13263 Searching is a subclass of investigating
(subclass Espionage Investigating) Mid-level-ontology.kif 15533-15533 Espionage is a subclass of investigating
(subclass Polling Investigating) Mid-level-ontology.kif 15549-15549 Polling is a subclass of investigating
(subclass PartInspection Investigating) Economy.kif 2048-2048 Part inspection is a subclass of investigating
(subclass GramStaining Investigating) Medicine.kif 5365-5365 Gram stain is a subclass of investigating
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 696-696 Reconnaissance operation is a subclass of investigating
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1914-1914 Offensive information operation is a subclass of investigating
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 715-715 Researching weapon of mass destruction is a subclass of investigating
(termFormat EnglishLanguage Investigating "investigating") english_format.kif 1603-1603 Researching weapon of mass destruction is a subclass of investigating

consequent
-------------------------


(=>
    (instance ?COMMISSION Commission)
    (hasPurpose ?COMMISSION
        (exists (?INVESTIGATE ?ISSUE)
            (and
                (instance ?INVESTIGATE Investigating)
                (patient ?INVESTIGATE ?ISSUE)
                (agent ?INVESTIGATE ?COMMISSION)))))		 Mid-level-ontology.kif 9801-9808 If X is an instance of commission, then X has the purpose there exist Y, Z such that Y is an instance of investigating, Z is a patient of Y, and X is an agent of Y
(=>
    (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 4059-4072 If obsessive–compulsive disorder is an attribute of X, then there exist Y, Z such that Z is a member type of Y, Z is a subclass of investigating or Z is a subclass of cleaning, W is an instance of ZX is an agent of W, and X doesn't want W


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners