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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Boulder

appearance as argument number 1

(documentation Boulder ChineseLanguage "Boulder 是零散的 Rock,按照溫特瓦分級,它的 approximateDiameter 大于 256 Millimeter。") Geography.kif 7280-7281
(documentation Boulder EnglishLanguage "Boulders are Rock fragments larger than 256 Millimeters in approximateDiameter on the Wentworth Scale.") Geography.kif 7277-7278
(roomTempState Boulder Solid) Mid-level-ontology.kif 31333-31333
(subclass Boulder Rock) Geography.kif 7287-7287

appearance as argument number 2

(partition Rock Boulder Cobble Pebble) Geography.kif 7235-7235
(termFormat ChineseLanguage Boulder "巨石") Geography.kif 7285-7285
(termFormat EnglishLanguage Boulder "boulder") Geography.kif 7283-7283


        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256.0))
Geography.kif 7289-7294

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 3.0 is open source software produced by Articulate Software and its partners