Sinusitis
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5687-5702 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5685-5685 | Sinus infection is a subclass of disease or syndrome |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5704-5704 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5703-5703 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5706-5716 |
|