TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructure 的 Substance。")	Geography.kif 6795-6796
(documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.")	Geography.kif 6792-6793
(subclass Crystal Substance)	Geography.kif 6798-6798	Crystal is a subclass of substance

appearance as argument number 2

(subclass Snowflake Crystal)	Weather.kif 3010-3010	Snowflake is a subclass of crystal
(termFormat ChineseLanguage Crystal "水晶")	Geography.kif 6802-6802
(termFormat EnglishLanguage Crystal "crystal")	Geography.kif 6800-6800

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