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 13063-13065
(subclass Investigating IntentionalProcess)	Merge.kif 13062-13062	Investigating is a subclass of intentional process

appearance as argument number 2

(subclass DiagnosticProcess Investigating)	Merge.kif 13093-13093	Diagnostic process is a subclass of investigating
(subclass Espionage Investigating)	Mid-level-ontology.kif 15303-15303	Espionage is a subclass of investigating
(subclass Experimenting Investigating)	Merge.kif 13088-13088	Experimenting is a subclass of investigating
(subclass GramStaining Investigating)	Medicine.kif 5352-5352	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 2053-2053	Part inspection is a subclass of investigating
(subclass Polling Investigating)	Mid-level-ontology.kif 15319-15319	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 13104-13104	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 13080-13086	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 13073-13078	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 13067-13071	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 4028-4041	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 9647-9654	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: