Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pebble
Pebble(pebble)pebble, 卵石

appearance as argument number 1
-------------------------


(documentation Pebble ChineseLanguage "Pebble 是零散的 Rock, 按照溫特瓦分級,它的 approximateDiameter 在 2 Millimeter 到 64 Millimeter 之间。") Geography.kif 6592-6593
(documentation Pebble EnglishLanguage "Pebbles are Rock fragments between 2 Millimeters to 64 Millimeters in approximateDiameter on the Wentworth Scale.") Geography.kif 6589-6590
(subclass Pebble Rock) Geography.kif 6601-6601 Pebble is a subclass of rock

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Pebble "卵石") Geography.kif 6599-6599 "卵石" is the printable form of pebble in ChineseLanguage
(termFormat EnglishLanguage Pebble "pebble") Geography.kif 6597-6597 "pebble" is the printable form of pebble in english language

appearance as argument number 4
-------------------------


(partition Rock Boulder Cobble Pebble) Geography.kif 6595-6595 Rock is exhaustively partitioned into boulder, cobble, and pebble

antecedent
-------------------------


(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64 ?Size)
        (greaterThan ?Size 2)))
Geography.kif 6603-6610

consequent
-------------------------


(=>
    (instance ?GRAVEL Gravel)
    (and
        (part ?Particle ?GRAVEL)
        (instance ?Particle Pebble)))
Geography.kif 4199-4203


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners