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	オブジェクトは植物の instance では %n オブジェクトはオブジェクトの part では %n 工程エンティティー and 工程工程は工程の instance では %n 工程は保持の subclass では %n エンティティーは FreshWater の instance では %n エンティティーは工程の patient では %n オブジェクトは工程を instrument として行う capable では %n オブジェクトは PlantLeaf の instance では %n オブジェクトは PlantStem の instance では %n
(subclass FreshWater Water)	Geography.kif 2730-2730	FreshWater は水の subclass では %n
(subclass DrinkingWater FreshWater)	Geography.kif 2810-2810	DrinkingWater は FreshWater の subclass では %n
(subclass TapWater FreshWater)	Food.kif 268-268	TapWater は FreshWater の subclass では %n