Sigma KB Term Intersection

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.	Merge.kif 12923-12923	Investigating is a subclass of intentional process
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.	MilitaryProcesses.kif 674-674	Reconnaissance operation 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 13932-13932	Espionage 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.	Merge.kif 12949-12949	Experimenting is a subclass of investigating
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.	Merge.kif 12965-12965	Searching 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

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