MonoCrystalline - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MonoCrystalline CrystallineStructure)

Geography.kif 8779-8779

appearance as argument number 2

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

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 8791-8811

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 4107-4117	If a process is an instance of frosting, then there exist an object and another object such that the object is an instance of ice and mono crystalline is an attribute of the object and the object is a patient of the process and the other object is an instance of object and solid is an attribute of the other object and the process ends up at the other object and the process meets the other 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 1834-1842	If a transfer is an instance of snowing, then there exist a collection and an object such that the collection is an instance of collection and the object is an instance of ice and mono crystalline is an attribute of the object and the object is a member of the collection and the object transferred in the transfer is the collection