MonoCrystalline - Sigma Knowledge base Browser

appearance as argument number 1

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

Geography.kif 6468-6468

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6472-6472
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6470-6470

antecedent

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

Geography.kif 6480-6500

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1285-1295	If a process is an instance of Frosting, then there exist an object and another object such that the object is an instance of ice and mono crystalline is an attribute of the object and the object is a patient of the process and the other object is an instance of object and solid is an attribute of the other object and the process ends up at the other object and the process meets the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 752-760	If a transfer is an instance of snowing, then there exist a collection and an object such that the collection is an instance of collection and the object is an instance of ice and mono crystalline is an attribute of the object and the object is a member of the collection and the object transferred in the transfer is the collection