PolyCrystalline - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PolyCrystalline CrystallineStructure)

Geography.kif 7204-7204

appearance as argument number 2

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

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))))))

Geography.kif 7210-7230

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))))

Weather.kif 2496-2506