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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pebble

Sigma KEE - Pebble
Pebble(pebble)pebble

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


(documentation Pebble ChineseLanguage "Pebble 是零散的 Rock, 按照溫特瓦分級,它的 approximateDiameter 在 2 Millimeter 到 64 Millimeter 之间。") Geography.kif 7254-7255
(documentation Pebble EnglishLanguage "Pebbles are Rock fragments between 2 Millimeters to 64 Millimeters in approximateDiameter on the Wentworth Scale.") Geography.kif 7251-7252
(roomTempState Pebble Solid) Mid-level-ontology.kif 31414-31414 roomTempState pebble and solid
(subclass Pebble Rock) Geography.kif 7263-7263 Pebble is a subclass of rock

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


(termFormat ChineseLanguage Pebble "卵石") Geography.kif 7261-7261
(termFormat EnglishLanguage Pebble "pebble") Geography.kif 7259-7259

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


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

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


(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64.0 ?Size)
        (greaterThan ?Size 2.0)))
Geography.kif 7265-7272

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


(=>
    (instance ?GRAVEL Gravel)
    (exists (?P)
        (and
            (part ?P ?GRAVEL)
            (instance ?P Pebble))))
Geography.kif 4442-4447


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners