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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cobble
Cobble(cobble)cobble, 大卵石

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


(documentation Cobble ChineseLanguage "Cobble 是零散的 Rock,按照溫特瓦分級,它的 approximateDiameter 在 64 Millimeter 到 256 Millimeter 之间。") Geography.kif 6617-6618
(documentation Cobble EnglishLanguage "Cobbles are Rock fragments between 64 Millimeters to 256 Millimeters in approximateDiameter on the Wentworth Scale.") Geography.kif 6614-6615
(subclass Cobble Rock) Geography.kif 6624-6624 Cobble is a subclass of rock

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


(termFormat ChineseLanguage Cobble "大卵石") Geography.kif 6622-6622 "大卵石" is the printable form of cobble in ChineseLanguage
(termFormat EnglishLanguage Cobble "cobble") Geography.kif 6620-6620 "cobble" is the printable form of cobble in english language

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


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

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


(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256 ?Size)
        (greaterThan ?Size 64)))
Geography.kif 6626-6633


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners