Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1315-1317	If a disease or syndrome is disease treatment topical antibiotic for a kind of process, then a kind of process is a subclass of covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29718-29727	If a physical is a subclass of a covering for a kind of body part, then the physical has the purpose there exist an entity, a kind of body partI and the physicalI such that the entity is an instance of covering and the kind of body partI is an instance of the kind of body part and the physicalI is an instance of the physical and the entity ends up at the kind of body partI and the physicalI is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11436-11436	Covering is a subclass of putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3182-3182	Painting is a subclass of covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12442-12442	Topical application is a subclass of covering