ObsessiveCompulsiveDisorder - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ObsessiveCompulsiveDisorder

ObsessiveCompulsiveDisorder(obsessive–compulsive disorder)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4011-4024
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4009-4009	Obsessive–compulsive disorder is an instance of psychological dysfunction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4025
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4026-4026

antecedent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 4028-4041

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

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