(=> (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering)) |
WMD.kif 1315-1317 | |
(=> (subclass ?C (CoveringFn ?B)) (hasPurpose ?C (exists (?P ?BI ?CI) (and (instance ?P Covering) (instance ?BI ?B) (instance ?CI ?C) (destination ?P ?BI) (patient ?P ?CI))))) |
Mid-level-ontology.kif 29781-29790 | |
(subclass Covering Putting) | Merge.kif 11460-11460 | |
(subclass Painting Covering) | Mid-level-ontology.kif 3175-3175 | |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 12470-12470 |