MonoCrystalline - Sigma Knowledge base Browser

appearance as argument number 1

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

Geography.kif 7296-7296

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7300-7300
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7298-7298

antecedent

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

Geography.kif 7308-7328

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3299-3309	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 1376-1384	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