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 12969-12969	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 13959-13959	Espionage is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13975-13975	Polling is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12995-12995	Experimenting is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13000-13000	Diagnostic process is a subclass of investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13011-13011	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