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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Cobble
Cobble(cobble)

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


(documentation Cobble ChineseLanguage "Cobble 是零散的 Rock,按照溫特瓦分級,它的 approximateDiameter 在 64 Millimeter 到 256 Millimeter 之间。") Geography.kif 7616-7617
(documentation Cobble EnglishLanguage "Cobbles are Rock fragments between 64 Millimeters to 256 Millimeters in approximateDiameter on the Wentworth Scale.") Geography.kif 7613-7614
(roomTempState Cobble Solid) Mid-level-ontology.kif 33360-33360 room temperature state cobble and solid
(subclass Cobble Rock) Geography.kif 7623-7623 Cobble is a subclass of rock

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


(termFormat ChineseLanguage Cobble "大卵石") Geography.kif 7621-7621
(termFormat EnglishLanguage Cobble "cobble") Geography.kif 7619-7619

appearance as argument number 3
-------------------------


(partition Rock Boulder Cobble Pebble) Geography.kif 7594-7594 Rock is exhaustively partitioned into boulder, cobble, and pebble

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


(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256.0 ?Size)
        (greaterThan ?Size 64.0)))
Geography.kif 7625-7632


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