Sigma KB Term Intersection

(=> (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1315-1317	Wenn diseaseMedicine DiseaseOrSyndrome, TopicalAntibiotic and Process, dann Process ist eine teilkategorie von Covering
(=> (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	Wenn Physical ist eine teilkategorie von CoveringFn BodyPart, dann Physical hat Zweck von es gibt entity, BodyPartI, and und PhysicalI um entity ist ein fall von Covering %n{nicht} und BodyPartI ist ein fall von BodyPart %n{nicht} und PhysicalI ist ein fall von Physical %n{nicht} und entity endet an BodyPartI %n{nicht} und PhysicalI ist ein patient von entity %n{nicht} %n{nicht}
(subclass Covering Putting)	Merge.kif 11414-11414	Covering ist eine teilkategorie von Putting
(subclass Painting Covering)	Mid-level-ontology.kif 3182-3182	Painting ist eine teilkategorie von Covering
(subclass TopicalApplication Covering)	Mid-level-ontology.kif 12443-12443	TopicalApplication ist eine teilkategorie von Covering