Misdiagnosing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Misdiagnosing

Misdiagnosing(misdiagnosing)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4181-4185
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4180-4180	Misdiagnosing is a subclass of stating

appearance as argument number 2

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

Medicine.kif 4187-4187

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	If a process is an instance of misdiagnosing and a cognitive agent is an agent of the process and the process includes a reference to an entity and the entity is an instance of human, then there exists the cognitive agentIS such that the process contains the formula the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an instance of disease or syndrome and the cognitive agent believes the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an attribute of the entity is false
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4189-4193	If a process is an instance of misdiagnosing and an agent is an agent of the process, then the agent is an instance of medical doctor

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