(=> (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 29730-29739 | |
(subclass Covering Putting) | Merge.kif 11414-11414 | 遮盖 是 放 的 subclass |
(subclass Painting Covering) | Mid-level-ontology.kif 3182-3182 | 绘画 是 遮盖 的 subclass |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 12443-12443 | TopicalApplication 是 遮盖 的 subclass |