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 6830-6831
(documentation Boulder EnglishLanguage "Boulders are Rock fragments larger than 256 Millimeters in approximateDiameter on the Wentworth Scale.") Geography.kif 6827-6828
(subclass Boulder Rock) Geography.kif 6837-6837

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


(partition Rock Boulder Cobble Pebble) Geography.kif 6785-6785
(termFormat ChineseLanguage Boulder "巨石") Geography.kif 6835-6835
(termFormat EnglishLanguage Boulder "boulder") Geography.kif 6833-6833

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


(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256))
Geography.kif 6839-6844


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