(=> (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 | Coprire è una sottoclasse di Porre |
(subclass Painting Covering) | Mid-level-ontology.kif 3175-3175 | Painting è una sottoclasse di Coprire |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 12470-12470 | TopicalApplication è una sottoclasse di Coprire |