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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Investigating
Investigating

VerbNet: sight-30.2|study, sight-30.2|study, search-35.2|check, ensure-99|ascertain, investigate-35.4|canvass, investigate-35.4|canvass, peer-30.3|check, peer-30.3|check, peer-30.3|check, investigate-35.4|ransack, inquire-37.1.2|consult, reflexive_appearance-48.1.2|define, reflexive_appearance-48.1.2|define, reflexive_appearance-48.1.2|define, search-35.2|check, search-35.2|probe, sight-30.2|investigate, ensure-99|ascertain, ferret-35.6|ferret, ferret-35.6|ferret, search-35.2|check, investigate-35.4|frisk, sight-30.2|scan, rummage-35.5|rifle, inquire-37.1.2|pry, sight-30.2|investigate, ensure-99|ascertain, inquire-37.1.2|pry, sight-30.2|investigate, search-35.2|check, register-54.1|weigh, sight-30.2|investigate, inquire-37.1.2|consult, inquire-37.1.2|pry, inquire-37.1.2|pry, search-35.2|probe, search-35.2|probe, search-35.2|prospect, inquire-37.1.2|pry, search-35.2|quest, care-88.1|wonder, investigate-35.4|quiz, sight-30.2|scan, investigate-35.4|ransack, search-35.2|scout, search-35.2|scout, inquire-37.1.2|consult, rummage-35.5|rifle, rummage-35.5|rummage, sight-30.2|scan, ...


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 11857-11859
(subclass Investigating IntentionalProcess) Merge.kif 11856-11856

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


(subclass DiagnosticProcess Investigating) Merge.kif 11887-11887
(subclass Espionage Investigating) Mid-level-ontology.kif 11541-11541
(subclass Experimenting Investigating) Merge.kif 11882-11882
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1872-1872
(subclass Polling Investigating) Mid-level-ontology.kif 11556-11556
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 715-715
(subclass Searching Investigating) Merge.kif 11900-11900
(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 11874-11880
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (holdsDuring
        (WhenFn ?INVESTIGATE)
        (not
            (knows ?AGENT ?PROP))))
Merge.kif 11867-11872
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (patient ?INVESTIGATE ?PROP))
    (instance ?PROP Formula))
Merge.kif 11861-11865

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


(=>
    (instance ?COMMISSION Commission)
    (hasPurpose ?COMMISSION
        (exists (?INVESTIGATE ?ISSUE)
            (and
                (instance ?INVESTIGATE Investigating)
                (patient ?INVESTIGATE ?ISSUE)
                (agent ?INVESTIGATE ?COMMISSION)))))
Mid-level-ontology.kif 8166-8172


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners