Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Gravel(gravel)
|  | ballast, bank_gravel, caliche, crushed_rock, gravel, pit-run_gravel, pit_run, shingle |
| appearance as argument number 1 |
|
|
| (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 5934-5936 | |
| (documentation Gravel ChineseLanguage "Gravel 是由 &Pebble 组成的混合物，按照溫特瓦分級，它的 approximateDiameter 在 2 Millimeter 和 256 Millimeter 之间。") | Geography.kif 5937-5938 | |
| (subclass Gravel Mixture) | Geography.kif 5942-5942 | Gravel is a subclass of mixture |
| (roomTempState Gravel Solid) | Geography.kif 5944-5944 | room temperature state gravel and solid |
| (externalImage Gravel "http://articulatesoftware.com/SUMOpictures/working/ vehicles/ gravel.png") | pictureList.kif 472-472 | room temperature state gravel and solid |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?GRAVEL Gravel) (exists (?P) (and (part ?P ?GRAVEL) (instance ?P Pebble)))) |
Geography.kif 5946-5951 | If X is an instance of gravel, then there exists Y such that Y is a part of X and Y is an instance of pebble |
| 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 5844-5857 | If X is an instance of loam, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of clay (3) Y is a piece of X (4) W is an instance of gravel (5) W is a piece of X (6) Z is an instance of sand (7) Z is a piece of X (8) V is an instance of silt (9) V is a piece of X (10) U is an instance of body substance (11) U is a piece of X |
|