Icing - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Icing EnglishLanguage "Icing is the process by which Ice is deposited on a %Solid object in polycrystalline form.")	Weather.kif 3774-3775
(documentation Icing ChineseLanguage "Icing 是当 Ice 在 Solid 物体上凝结成多晶体。 ")	Weather.kif 3776-3776
(subclass Icing WeatherProcess)	Weather.kif 3778-3778	Icing is a subclass of weather process
(subclass Icing Freezing)	Weather.kif 3779-3779	Icing is a subclass of freezing
(externalImage Icing "http://upload.wikimedia.org/wikipedia/commons/9/95/ Windbuchencom.jpg")	pictureList.kif 2479-2479	Icing is a subclass of freezing

appearance as argument number 2

(termFormat ChineseLanguage Icing "大气结冰")	Weather.kif 3777-3777
(termFormat EnglishLanguage Icing "icing")	domainEnglishFormat.kif 29165-29165
(termFormat ChineseTraditionalLanguage Icing "刨冰")	domainEnglishFormat.kif 29166-29166
(termFormat ChineseLanguage Icing "刨冰")	domainEnglishFormat.kif 29167-29167

antecedent

(=>
    (instance ?ICING Icing)
    (exists (?ICE ?OBJ)
        (and
            (instance ?ICE Ice)
            (attribute ?ICE PolyCrystalline)
            (patient ?ICING ?ICE)
            (instance ?OBJ Object)
            (attribute ?OBJ Solid)
            (destination ?ICING ?OBJ)
            (meetsSpatially ?ICE ?OBJ))))

If X is an instance of icing, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of ice (3) poly crystalline is an attribute of Y (4) Y is a patient of X (5) Z is an instance of object (6) solid is an attribute of Z (7) X ends up at Z (8) Y meets Z