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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cobble

Sigma KEE - Cobble
Cobble

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


(documentation Cobble ChineseLanguage "Cobble 是零散的 Rock,按照溫特瓦分級,它的 approximateDiameter 在 64 Millimeter 到 256 Millimeter 之间。") Geography.kif 7279-7280
(documentation Cobble EnglishLanguage "Cobbles are Rock fragments between 64 Millimeters to 256 Millimeters in approximateDiameter on the Wentworth Scale.") Geography.kif 7276-7277
(roomTempState Cobble Solid) Mid-level-ontology.kif 31415-31415 roomTempState Cobble and Solid
(subclass Cobble Rock) Geography.kif 7286-7286 CobbleRocksubclass では %n

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


(termFormat ChineseLanguage Cobble "大卵石") Geography.kif 7284-7284
(termFormat EnglishLanguage Cobble "cobble") Geography.kif 7282-7282

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


(partition Rock Boulder Cobble Pebble) Geography.kif 7257-7257 RockBoulder, Cobble, + Pebbleexhaustively partitioned %n

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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