TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructure 的 Substance。")	Geography.kif 7014-7015
(documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.")	Geography.kif 7011-7012
(subclass Crystal Substance)	Geography.kif 7017-7017	Crystal is a subclass of substance

appearance as argument number 2

(subclass Snowflake Crystal)	Weather.kif 3011-3011	Snowflake is a subclass of crystal
(termFormat ChineseLanguage Crystal "水晶")	Geography.kif 7021-7021
(termFormat EnglishLanguage Crystal "crystal")	Geography.kif 7019-7019

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 7049-7069