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

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


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

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


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


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