TreeView 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 13959-13959	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 Polling Investigating)	Mid-level-ontology.kif 13975-13975	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
(termFormat EnglishLanguage Investigating "investigating")	english_format.kif 1599-1599
(termFormat FrenchLanguage Investigating "enqu�ter")	french_format.kif 869-869
(termFormat Hindi Investigating "anveshana karma")	terms-hindi.txt 402-402
(termFormat ItalianLanguage Investigating "Investigare")	terms-it.txt 405-405
(termFormat JapaneseLanguage Investigating "捜査")	japanese_format.kif 2553-2553
(termFormat PortugueseLanguage Investigating "Investigacao")	portuguese_format.kif 821-821
(termFormat cb Investigating "pag-imbestigar")	terms-cb.txt 407-407
(termFormat cz Investigating "investigating")	terms-cz.txt 441-441
(termFormat ro Investigating "investigare")	relations-ro.kif 890-890
(termFormat tg Investigating "nagsisiyasat")	terms-tg.txt 406-406

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 8468-8475	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: