Investigating - Sigma Knowledge base Browser

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 12999-13001
(subclass Investigating IntentionalProcess)	Merge.kif 12998-12998	Investigating is a subclass of intentional process

appearance as argument number 2

(subclass DiagnosticProcess Investigating)	Merge.kif 13029-13029	Diagnostic process is a subclass of investigating
(subclass Espionage Investigating)	Mid-level-ontology.kif 14860-14860	Espionage is a subclass of investigating
(subclass Experimenting Investigating)	Merge.kif 13024-13024	Experimenting is a subclass of investigating
(subclass GramStaining Investigating)	Medicine.kif 5331-5331	Gram stain is a subclass of investigating
(subclass OffensiveInformationOperation Investigating)	MilitaryProcesses.kif 1891-1891	Offensive information operation is a subclass of investigating
(subclass PartInspection Investigating)	Economy.kif 1928-1928	Part inspection is a subclass of investigating
(subclass Polling Investigating)	Mid-level-ontology.kif 14876-14876	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 13040-13040	Searching is a subclass of investigating
(termFormat ChineseLanguage Investigating "调查")	chinese_format.kif 1191-1191	Searching is a subclass of investigating
(termFormat EnglishLanguage Investigating "investigating")	english_format.kif 1599-1599	Searching is a subclass of investigating
(termFormat FrenchLanguage Investigating "enqu�ter")	french_format.kif 869-869	Searching is a subclass of investigating
(termFormat Hindi Investigating "anveshana karma")	terms-hindi.txt 402-402	Searching is a subclass of investigating
(termFormat ItalianLanguage Investigating "Investigare")	terms-it.txt 405-405	Searching is a subclass of investigating
(termFormat JapaneseLanguage Investigating "捜査")	japanese_format.kif 2553-2553	Searching is a subclass of investigating
(termFormat PortugueseLanguage Investigating "Investigacao")	portuguese_format.kif 821-821	Searching is a subclass of investigating
(termFormat cb Investigating "pag-imbestigar")	terms-cb.txt 407-407	Searching is a subclass of investigating
(termFormat cz Investigating "investigating")	terms-cz.txt 441-441	Searching is a subclass of investigating
(termFormat de Investigating "Untersuchen")	terms-de.txt 700-700	Searching is a subclass of investigating
(termFormat ro Investigating "investigare")	relations-ro.kif 890-890	Searching is a subclass of investigating
(termFormat tg Investigating "nagsisiyasat")	terms-tg.txt 406-406	Searching is a subclass of investigating

antecedent

(=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (hasPurposeForAgent ?INVESTIGATE (knows ?AGENT ?PROP) ?AGENT))	Merge.kif 13016-13022	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 13009-13014	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 13003-13007	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

(=> (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 4013-4026	If obsessive–compulsive disorder is an attribute of a cognitive agent, then there exist a collection and a class such that the class is a member type of the collection and the class is a subclass of investigating or the class is a subclass of cleaning and if the classI is an instance of the class, then the cognitive agent is an agent of the classI and the cognitive agent doesn't want the classI
(=> (instance ?COMMISSION Commission) (hasPurpose ?COMMISSION (exists (?INVESTIGATE ?ISSUE) (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?ISSUE) (agent ?INVESTIGATE ?COMMISSION)))))	Mid-level-ontology.kif 9214-9221	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

KB Term:			Term intersection

English Word: