MedicalDoctor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MedicalDoctor

MedicalDoctor(medical doctor)

Dr., Hippocrates, MD, abortionist, country_doctor, doc, doctor, family_medicine, family_practice, gastroenterologist, group_practice, house_physician, medical_practice, medico, optometry, physician, primary_care_physician, proctologist, resident, resident_physician

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21291-21292
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21290-21290	Medical doctor is an instance of profession

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Biography.kif 539-539	Psychiatrist is a subattribute of medical doctor
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4475-4475	Pulmonologist is a subattribute of medical doctor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21303-21303	Surgeon is a subattribute of medical doctor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36861-36861	Surgeon is a subattribute of medical doctor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36860-36860	Surgeon is a subattribute of medical doctor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36859-36859	Surgeon is a subattribute of medical doctor

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	If a disease or syndrome is an attribute of an object and a kind of therapeutic process is a treatment for the disease or syndrome and a process is an instance of TherpeuticProcess and the disease or syndromeOC is an agent of the process and the object is a patient of the process and medical doctor is an attribute of the disease or syndromeOC, then the statement the process is an instance of a kind of therapeutic process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3449-3460	If a process is an instance of electrocardiography and an entity is a patient of the process and an agent is an agent of the process and medical doctor is an attribute of the agent, then the process has the purpose the agent knows there exists another entity such that impaired body part fn heart is an attribute of the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21294-21301	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent

consequent

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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	If a service is an instance of medical service, then there exist an agent, a cognitive agent and a process such that the agent is an agent of the service and the agent employs the cognitive agent and medical doctor is an attribute of the cognitive agent and the cognitive agent provides a service during the service and the process is an instance of therapeutic process or the process is an instance of diagnostic process and the process is a subprocess of the service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9870-9883	If a kind of medicine is medicine for a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity

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