(=> (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 29718-29727 | |
(subclass Covering Putting) | Merge.kif 11436-11436 | 覆い は 置く の subclass では %n |
(subclass Painting Covering) | Mid-level-ontology.kif 3182-3182 | Painting は 覆い の subclass では %n |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 12442-12442 | TopicalApplication は 覆い の subclass では %n |
![]() |