Sigma KB Term Intersection

(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem)))))	Mid-level-ontology.kif 9561-9574	Wenn Object ist ein fall von Plant %n{nicht} und Object ist ein teil von Object %n{nicht}, dann es gibt Process, Entity, and und Process um Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Keeping und Entity ist ein fall von FreshWater %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist faehig %n{nicht}, in der Rolle instrument Process zu tun und Object ist ein fall von PlantLeaf %n{nicht} oder Object ist ein fall von PlantStem %n{nicht}
(subclass Keeping IntentionalProcess)	Merge.kif 12174-12174	Keeping ist eine teilkategorie von IntentionalProcess
(subclass Confining Keeping)	Merge.kif 12200-12200	Confining ist eine teilkategorie von Keeping
(subclass PreservingFood Keeping)	Food.kif 184-184	PreservingFood ist eine teilkategorie von Keeping