Investigating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3230-3231
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12924-12926
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12923-12923	Investigating is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12954-12954	Diagnostic process is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13932-13932	Espionage is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12949-12949	Experimenting is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5343-5343	Gram stain is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1891-1891	Offensive information operation is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13948-13948	Polling is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 674-674	Reconnaissance operation is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	WMD.kif 720-720	Researching weapon of mass destruction is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12965-12965	Searching is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1191-1191
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1599-1599
No TPTP formula. May not be expressible in strict first order.	french_format.kif 869-869
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 402-402
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 405-405
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2553-2553
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 821-821
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 407-407
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 441-441
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 890-890
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 406-406

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12941-12947	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12934-12939	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12928-12932	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8441-8448	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: