TreeView Knowledge Base Browser

appearance as argument number 1

(subclass MonoCrystalline CrystallineStructure)

Geography.kif 6818-6818

appearance as argument number 2

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

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

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 2781-2791	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 1140-1148	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