PurifiedWater - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 239-245
No TPTP formula. May not be expressible in strict first order.	Food.kif 238-238	Purified water is internally related to potable water
No TPTP formula. May not be expressible in strict first order.	Food.kif 237-237	Purified water is a subclass of water

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Food.kif 246-246

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	If an entity is an instance of purified water, then there exist a process, an object and another object such that the process is an instance of removing and the process originates at the object and the object is an instance of water and the other object is a patient of the process and the other object is an instance of substance and the other object is a part of the object and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 260-266	If an object is an instance of purified water, then there doesn't exist another object such that the other object is a part of the object and the other object is an instance of substance

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2465-2467