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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Boulder
Boulder(boulder)Plymouth_Rock, boulder, bowlder, glacial_boulder, river_boulder, shore_boulder

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


(documentation Boulder ChineseLanguage "Boulder 是零散的 Rock,按照溫特瓦分級,它的 approximateDiameter 大于 256 Millimeter。") Geography.kif 7302-7303
(documentation Boulder EnglishLanguage "Boulders are Rock fragments larger than 256 Millimeters in approximateDiameter on the Wentworth Scale.") Geography.kif 7299-7300
(roomTempState Boulder Solid) Mid-level-ontology.kif 31448-31448 roomTempState boulder and solid
(subclass Boulder Rock) Geography.kif 7309-7309 Boulder is a subclass of rock

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


(partition Rock Boulder Cobble Pebble) Geography.kif 7257-7257 Rock is exhaustively partitioned into boulder, cobble, and pebble
(termFormat ChineseLanguage Boulder "巨石") Geography.kif 7307-7307
(termFormat EnglishLanguage Boulder "boulder") Geography.kif 7305-7305

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


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


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