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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Boulder
Boulder

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


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

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


(partition Rock Boulder Cobble Pebble) Geography.kif 7594-7594
(termFormat ChineseLanguage Boulder "巨石") Geography.kif 7644-7644
(termFormat EnglishLanguage Boulder "boulder") Geography.kif 7642-7642

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


(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256.0))
Geography.kif 7648-7653


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