Crystal - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage Crystal "crystal")	Geography.kif 8776-8776
(termFormat ChineseLanguage Crystal "水晶")	Geography.kif 8778-8778
(subclass Snowflake Crystal)	Weather.kif 4280-4280	Snowflake is a subclass of crystal

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

(documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.")	Geography.kif 8768-8769
(documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructure 的 Substance。")	Geography.kif 8771-8772
(subclass Crystal Substance)	Geography.kif 8774-8774	Crystal is a subclass of substance