Investigating - Sigma Knowledge base Browser

antecedent

(=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (hasPurposeForAgent ?INVESTIGATE (knows ?AGENT ?PROP) ?AGENT))	Merge.kif 12699-12705	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose the agent knows the entity for the agent
(=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))	Merge.kif 12692-12697	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't know the entity holds during the time of existence of the process
(=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula))	Merge.kif 12686-12690	If a process is an instance of investigating and an entity is a patient of the process, then the entity is an instance of formula

consequent

(=>
    (instance ?COMMISSION Commission)
    (hasPurpose ?COMMISSION
        (exists (?INVESTIGATE ?ISSUE)
            (and
                (instance ?INVESTIGATE Investigating)
                (patient ?INVESTIGATE ?ISSUE)
                (agent ?INVESTIGATE ?COMMISSION)))))

Mid-level-ontology.kif 8044-8051

If a physical is an instance of commission,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of investigating and the other entity is a patient of the entity and the physical is an agent of the entity

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 is open source software produced by Articulate Software and its partners

(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 12682-12684
(subclass Investigating IntentionalProcess)	Merge.kif 12681-12681	Investigating is a subclass of intentional process

(subclass DiagnosticProcess Investigating)	Merge.kif 12712-12712	Diagnostic process is a subclass of investigating
(subclass Espionage Investigating)	Mid-level-ontology.kif 13398-13398	Espionage is a subclass of investigating
(subclass Experimenting Investigating)	Merge.kif 12707-12707	Experimenting is a subclass of investigating
(subclass OffensiveInformationOperation Investigating)	MilitaryProcesses.kif 1891-1891	Offensive information operation is a subclass of investigating
(subclass Polling Investigating)	Mid-level-ontology.kif 13414-13414	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 720-720	Researching weapon of mass destruction is a subclass of investigating
(subclass Searching Investigating)	Merge.kif 12723-12723	Searching is a subclass of investigating
(termFormat ChineseLanguage Investigating "调查")	chinese_format.kif 1191-1191
(termFormat EnglishLanguage Investigating "investigating")	english_format.kif 1599-1599

KB Term:			Term intersection

English Word: