Boulder - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Boulder ChineseLanguage "Boulder 是零散的 Rock，按照溫特瓦分級，它的 approximateDiameter 大于 256 Millimeter。")	Geography.kif 6830-6831
(documentation Boulder EnglishLanguage "Boulders are Rock fragments larger than 256 Millimeters in approximateDiameter on the Wentworth Scale.")	Geography.kif 6827-6828
(subclass Boulder Rock)	Geography.kif 6837-6837

appearance as argument number 2

(partition Rock Boulder Cobble Pebble)	Geography.kif 6785-6785
(termFormat ChineseLanguage Boulder "巨石")	Geography.kif 6835-6835
(termFormat EnglishLanguage Boulder "boulder")	Geography.kif 6833-6833

antecedent

(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256))

Geography.kif 6839-6844