Sigma KB Term Intersection

(=> (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1315-1317	diseaseMedicine 病気または症候群, TopicalAntibiotic and 工程工程は覆いの subclass では %n
(=> (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	物理は CoveringFn 体の部分の subclass では %n 物理はエンティティー体の部分I and 物理I エンティティーは覆いの instance では %n 体の部分I は体の部分の instance では %n 物理I は物理の instance では %n エンティティーは体の部分I に ends %n{ない} 物理I はエンティティーの patient では %n の目的 %n{ない}
(subclass Covering Putting)	Merge.kif 11414-11414	覆いは置くの subclass では %n
(subclass Painting Covering)	Mid-level-ontology.kif 3182-3182	Painting は覆いの subclass では %n
(subclass TopicalApplication Covering)	Mid-level-ontology.kif 12443-12443	TopicalApplication は覆いの subclass では %n