(=> (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 31649-31658 | |
(subclass Covering Putting) | Merge.kif 11564-11564 | 覆い は 置く の subclass では |
(subclass Painting Covering) | Mid-level-ontology.kif 3625-3625 | Painting は 覆い の subclass では |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 13774-13774 | TopicalApplication は 覆い の subclass では |
![]() |