ChronicObstructivePulmonaryDisease |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3932-3932 | diseaseMedicine ChronicObstructivePulmonaryDisease, Roflumilast and Ingerir |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5951-5974 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5950-5950 | ChronicObstructivePulmonaryDisease e' uma instancia de Doenca ou Sindrome |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6007-6007 | Bronchitis e' um sub-atributo de ChronicObstructivePulmonaryDisease |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5985-5985 | Emphysema e' um sub-atributo de ChronicObstructivePulmonaryDisease |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5976-5976 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5975-5975 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5980-5983 |
|