MonoCrystalline - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MonoCrystalline CrystallineStructure)

Geography.kif 6468-6468

appearance as argument number 2

(termFormat ChineseLanguage MonoCrystalline "单晶结构")	Geography.kif 6472-6472
(termFormat EnglishLanguage MonoCrystalline "mono crystalline")	Geography.kif 6470-6470

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 6480-6500

consequent

(=> (instance ?FROST Frosting) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE MonoCrystalline) (patient ?FROST ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?FROST ?OBJ) (meetsSpatially ?FROST ?OBJ))))	Weather.kif 1503-1513	instance Process and Frosting Object Object instance Object and Ice attribute Object and MonoCrystalline patient Process and Object instance Object and Object attribute Object and Solid destination Process and Object meetsSpatially Process and Object
(=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN))))	Weather.kif 752-760	instance Transfer and Snowing Collection Object instance Collection and Collection instance Object and Ice attribute Object and MonoCrystalline member Object and Collection objectTransferred Transfer and Collection