Frosting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Frosting ChineseLanguage "Frosting 是 Ice Crystal 褂在 Solid Object 或积聚的 Process。")	Weather.kif 4100-4101
(documentation Frosting EnglishLanguage "Frosting is the Process by which a coating or deposit of Ice Crystals form on the surface of Solid Objects.")	Weather.kif 4098-4099
(subclass Frosting Deposition)	Weather.kif 4102-4102	Frosting is a subclass of Deposition
(subclass Frosting WeatherProcess)	Weather.kif 4103-4103	Frosting is a subclass of WeatherProcess

appearance as argument number 2

(termFormat ChineseLanguage Frosting "霜")	Weather.kif 4104-4104
(termFormat EnglishLanguage Frosting "frosting")	Weather.kif 4105-4105

antecedent

(=>
    (instance ?FROST Frosting)
    (exists (?ICE ?OBJ)
        (and
            (instance ?ICE Ice)
            (attribute ?ICE MonoCrystalline)
            (patient ?FROST ?ICE)
            (instance ?OBJ Object)
            (attribute ?OBJ Solid)
            (destination ?FROST ?OBJ)
            (meetsSpatially ?FROST ?OBJ))))

Weather.kif 4107-4117