Gravel![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Gravel ChineseLanguage "Gravel 是由 &Pebble 组成的混合物,按照溫特瓦分級,它的 approximateDiameter 在 2 Millimeter 和 256 Millimeter 之间。") | Geography.kif 4504-4505 | |
(documentation Gravel EnglishLanguage "Gravel is a mixture of &Pebbles which are between 2 Millimeter to 64 Millimeter in approximateDiameter in the Wentworth Scale.") | Geography.kif 4500-4502 | |
(externalImage Gravel "http://articulatesoftware.com/SUMOpictures/working/ vehicles/ gravel.png") | pictureList.kif 472-472 | |
(roomTempState Gravel Solid) | Mid-level-ontology.kif 33554-33554 | roomTempState Gravel and Solid |
(subclass Gravel Mixture) | Geography.kif 4510-4510 | Gravel は 混合物 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Gravel "砾石") | domainEnglishFormat.kif 26513-26513 | |
(termFormat ChineseTraditionalLanguage Gravel "礫石") | domainEnglishFormat.kif 26512-26512 | |
(termFormat EnglishLanguage Gravel "gravel") | domainEnglishFormat.kif 26511-26511 |
antecedent |
![]() |
(=> (instance ?GRAVEL Gravel) (exists (?P) (and (part ?P ?GRAVEL) (instance ?P Pebble)))) |
Geography.kif 4512-4517 |
consequent |
![]() |
(=> (instance ?Loam Loam) (exists (?Clay ?Sand ?Gravel ?Silt ?Organic) (and (instance ?Clay Clay) (piece ?Clay ?Loam) (instance ?Gravel Gravel) (piece ?Gravel ?Loam) (instance ?Sand Sand) (piece ?Sand ?Loam) (instance ?Silt Silt) (piece ?Silt ?Loam) (instance ?Organic BodySubstance) (piece ?Organic ?Loam)))) |
Geography.kif 4410-4423 |
![]() |
![]() |