TreeView 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 12946-12948
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12945-12945	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 12976-12976	Diagnostic process is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13931-13931	Espionage is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12971-12971	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 13947-13947	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 12987-12987	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 12963-12969	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 12956-12961	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 12950-12954	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 8440-8447	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: