Crystal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructure 的 Substance。")	Geography.kif 7175-7176
(documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.")	Geography.kif 7172-7173
(subclass Crystal Substance)	Geography.kif 7178-7178	Crystal is a subclass of substance

appearance as argument number 2

(subclass Snowflake Crystal)	Weather.kif 2993-2993	Snowflake is a subclass of crystal
(termFormat ChineseLanguage Crystal "水晶")	Geography.kif 7182-7182	Snowflake is a subclass of crystal
(termFormat EnglishLanguage Crystal "crystal")	Geography.kif 7180-7180	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))))))

Geography.kif 7210-7230