PolyCrystalline - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PolyCrystalline CrystallineStructure)

appearance as argument number 2

(termFormat EnglishLanguage PolyCrystalline "poly crystalline")	Geography.kif 8802-8802
(termFormat ChineseLanguage PolyCrystalline "多晶结构")	Geography.kif 8804-8804

antecedent

(=>
    (and
        (instance ?C Crystal)
        (attribute ?C MonoCrystalline)
        (instance ?SUB Substance)
        (attribute ?SUB Solid)
        (attribute ?SUB PolyCrystalline)
        (instance ?S Substance)
        (surface ?S ?SUB)
        (not
            (part ?C ?S)))
    (exists (?CLNT ?X ?MBR)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?SUB)
                    (meetsSpatially ?C ?MBR))))))

If All of the following hold: (1) X is an instance of crystal (2) mono crystalline is an attribute of X (3) Y is an instance of substance (4) solid is an attribute of Y (5) poly crystalline is an attribute of Y (6) Z is an instance of substance (7) Z is a surface of Y (8) X is not a part of Z, then there exist W, V, U such that W is an instance of collection, V is a member count of W, V is greater than or equal to 4, U is a member of W U is a part of Y, and X meets U

consequent

(=>
    (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