Diamond - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Diamond EnglishLanguage "Crystalline Carbon that is valued as a gem and used in industrial applications.")	Mid-level-ontology.kif 9991-9992
(externalImage Diamond "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Rough_diamond.jpg")	pictureList.kif 1473-1473
(roomTempState Diamond Solid)	Mid-level-ontology.kif 33160-33160	room temperature state diamond and solid
(subclass Diamond Carbon)	Mid-level-ontology.kif 9990-9990	Diamond is a subclass of carbon
(subclass Diamond Mineral)	Mid-level-ontology.kif 9989-9989	Diamond is a subclass of mineral

appearance as argument number 2

(termFormat ChineseLanguage Diamond "钻石")	domainEnglishFormat.kif 19455-19455
(termFormat ChineseTraditionalLanguage Diamond "鑽石")	domainEnglishFormat.kif 19454-19454
(termFormat EnglishLanguage Diamond "diamond")	domainEnglishFormat.kif 19453-19453

consequent

(=>
    (equal
        (MeasureFn
            (PerFn
                (MeasureFn ?F KilogramForce)
                (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
        (VickersHardnessFn ?CLASS))
    (modalAttribute
        (exists (?SUB ?P ?D ?H ?S)
            (and
                (instance ?SUB ?CLASS)
                (instance ?P Pushing)
                (destination ?P ?SUB)
                (instance ?D Diamond)
                (shape ?D SquarePyramid)
                (patient ?P ?D)
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?SUB)
                (surface ?S ?H)
                (totalArea ?S
                    (MeasureFn ?A SquareMillimeter))
                (measure ?P
                    (MeasureFn ?F KilogramForce)))) Likely))

Mid-level-ontology.kif 10491-10512

statement

(equal 10
(MohsScaleFn Diamond))

Mid-level-ontology.kif 10466-10466

10 is equal to The Mohs Scale of diamond is