Frosting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Frosting ChineseLanguage "Frosting 是 Ice Crystal 褂在 Solid Object 或积聚的 Process。")	Weather.kif 2772-2773
(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 2770-2771
(subclass Frosting Deposition)	Weather.kif 2774-2774	Frosting is a subclass of deposition
(subclass Frosting WeatherProcess)	Weather.kif 2775-2775	Frosting is a subclass of weather process

appearance as argument number 2

(termFormat ChineseLanguage Frosting "霜")

Weather.kif 2776-2776

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 2778-2788