Gravel(gravel)![]() | ![]() | ballast, bank_gravel, caliche, crushed_rock, gravel, pit-run_gravel, pit_run, shingle |
appearance as argument number 1 |
![]() |
(documentation Gravel ChineseLanguage "Gravel 是由 &Pebble 组成的混合物,按照溫特瓦分級,它的 approximateDiameter 在 2 Millimeter 和 256 Millimeter 之间。") | Geography.kif 4674-4675 | |
(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 4670-4672 | |
(externalImage Gravel "http://articulatesoftware.com/SUMOpictures/working/ vehicles/ gravel.png") | pictureList.kif 472-472 | |
(roomTempState Gravel Solid) | Mid-level-ontology.kif 33552-33552 | room temperature state gravel and solid |
(subclass Gravel Mixture) | Geography.kif 4680-4680 | Gravel is a subclass of mixture |
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 4682-4687 |
|
consequent |
![]() |
![]() |
![]() |