Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Cobble
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Cobble EnglishLanguage "Cobbles are Rock fragments between 64 Millimeters to 256 Millimeters in approximateDiameter on the Wentworth Scale.") | Geography.kif 8934-8935 | |
| (documentation Cobble ChineseLanguage "Cobble 是零散的 Rock，按照溫特瓦分級，它的 approximateDiameter 在 64 Millimeter 到 256 Millimeter 之间。") | Geography.kif 8936-8937 | |
| (subclass Cobble Rock) | Geography.kif 8940-8940 | Cobble is a subclass of rock |
| (roomTempState Cobble Solid) | Geography.kif 8942-8942 | room temperature state cobble and solid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cobble "cobble") | Geography.kif 8938-8938 | |
| (termFormat ChineseLanguage Cobble "大卵石") | Geography.kif 8939-8939 |
| appearance as argument number 3 |
|
|
| (partition Rock Boulder Cobble Pebble) | Geography.kif 8916-8916 | 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 8944-8951 | If X is an instance of cobble and the approximate diameter of X is Y millimeter(s), then 256.0 is greater than Y and Y is greater than 64.0 |
|