Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pulmonologist(pulmonologist) |
| appearance as argument number 1 |
|
| (subAttribute Pulmonologist MedicalDoctor) | Medicine.kif 4496-4496 | Pulmonologist is a subattribute of medical doctor |
| (instance Pulmonologist Position) | Medicine.kif 4497-4497 | Pulmonologist is an instance of position |
| (documentation Pulmonologist EnglishLanguage "A MedicalDoctor who deals with diseases and disorders of the respiratory tract.") | Medicine.kif 4498-4499 | Pulmonologist is an instance of position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Pulmonologist "pulmonologist") | Medicine.kif 4500-4500 |
| antecedent |
|
|
| (=> (attribute ?H Pulmonologist) (exists (?P1 ?P2 ?PAT ?L) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (patient ?P1 ?PAT) (patient ?P2 ?PAT) (instance ?L Lung) (part ?L ?PAT) (located ?P1 Lung) (located ?P2 Lung)))) |
Medicine.kif 4502-4513 | If pulmonologist is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that U is a subclass of diagnostic process (3) T is a subclass of therapeutic process (4) W is a patient of Y (5) W is a patient of Z (6) V is an instance of lung (7) V is a part of W (8) Y is located at lung (9) Z is located at lung |
|