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 9540-9541
(externalImage Diamond "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Rough_diamond.jpg")	pictureList.kif 1473-1473
(roomTempState Diamond Solid)	Mid-level-ontology.kif 32579-32579	roomTempState diamond and solid
(subclass Diamond Carbon)	Mid-level-ontology.kif 9539-9539	Diamond is a subclass of carbon
(subclass Diamond Mineral)	Mid-level-ontology.kif 9538-9538	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 10040-10061

statement

(equal 10
(MohsScaleFn Diamond))

Mid-level-ontology.kif 10015-10015

10 is equal to The Mohs Scale of diamond is