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 12970-12972
(subclass Investigating IntentionalProcess)	Merge.kif 12969-12969	Investigating is a subclass of intentional process

appearance as argument number 2

(subclass DiagnosticProcess Investigating)	Merge.kif 13000-13000	Diagnostic process is a subclass of investigating
(subclass Espionage Investigating)	Mid-level-ontology.kif 14150-14150	Espionage is a subclass of investigating
(subclass Experimenting Investigating)	Merge.kif 12995-12995	Experimenting is a subclass of investigating
(subclass GramStaining Investigating)	Medicine.kif 5343-5343	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 14166-14166	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 13011-13011	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 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 12987-12993	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 12980-12985	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 12974-12978	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 4025-4038	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 8659-8666	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: