Frosting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Frosting ChineseLanguage "Frosting 是 Ice Crystal 褂在 Solid Object 或积聚的 Process。")	Weather.kif 2759-2760
(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 2757-2758
(subclass Frosting Deposition)	Weather.kif 2761-2761	Frosting is a subclass of deposition
(subclass Frosting WeatherProcess)	Weather.kif 2762-2762	Frosting is a subclass of weather process

appearance as argument number 2

(termFormat ChineseLanguage Frosting "霜")

Weather.kif 2763-2763

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 2765-2775