TreeView Knowledge Base Browser - Pulmonologist

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pulmonologist

Pulmonologist(pulmonologist)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4477-4478
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4476-4476	Pulmonologist is an instance of position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4475-4475	Pulmonologist is a subattribute of medical doctor

appearance as argument number 2

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

Medicine.kif 4479-4479

antecedent

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

Medicine.kif 4481-4492

If pulmonologist is an attribute of an object,
then there exist a process, another process,, , another object and a third object such that a class is a subclass of diagnostic process and another class is a subclass of therapeutic process and the other object is a patient of the process and the other object is a patient of the other process and the third object is an instance of lung and the third object is a part of the other object and the process is located at lung and the other process is located at lung

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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