TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Pebble EnglishLanguage "Pebbles are Rock fragments between 2 Millimeters to 64 Millimeters in approximateDiameter on the Wentworth Scale.")	Geography.kif 8911-8912
(documentation Pebble ChineseLanguage "Pebble 是零散的 Rock，按照溫特瓦分級，它的 approximateDiameter 在 2 Millimeter 到 64 Millimeter 之间。")	Geography.kif 8913-8914
(subclass Pebble Rock)	Geography.kif 8919-8919	Pebble is a subclass of rock
(roomTempState Pebble Solid)	Geography.kif 8921-8921	room temperature state pebble and solid

appearance as argument number 2

(termFormat EnglishLanguage Pebble "pebble")	Geography.kif 8917-8917
(termFormat ChineseLanguage Pebble "卵石")	Geography.kif 8918-8918

appearance as argument number 4

(partition Rock Boulder Cobble Pebble)

antecedent

(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64.0 ?Size)
        (greaterThan ?Size 2.0)))

If X is an instance of pebble and the approximate diameter of X is Y millimeter(s), then 64.0 is greater than Y and Y is greater than 2.0

consequent

(=>
    (instance ?GRAVEL Gravel)
    (exists (?P)
        (and
            (part ?P ?GRAVEL)
            (instance ?P Pebble))))

If X is an instance of gravel, then there exists Y such that Y is a part of X and Y is an instance of pebble