Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Loam Soil) | Geography.kif 5840-5840 | Loam is a subclass of soil |
| (documentation Loam EnglishLanguage "Type of soil intermediate in texture between clay and sand, consisting of a mixture of clay, sand, gravel, silt, and organic matter.") | Geography.kif 5841-5842 | Loam is a subclass of soil |
| (externalImage Loam "http://upload.wikimedia.org/wikipedia/commons/b/bb/ Lehmgrube.jpg") | pictureList.kif 6673-6673 | Loam is a subclass of soil |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Loam)) (attribute ?area FertileTerrain)) |
Geography.kif 5859-5863 | If X is an instance of geographic area and loam is a ground surface type of X, then fertile terrain is an attribute of X |
|
