TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PolyCrystalline CrystallineStructure)

Geography.kif 6824-6824

appearance as argument number 2

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

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)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?Sub)
                    (meetsSpatially ?C ?MBR))))))

Geography.kif 6830-6850

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 2513-2523