Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| groundSurfaceType |
| appearance as argument number 1 |
|
| (instance groundSurfaceType BinaryPredicate) | Geography.kif 5779-5779 | ground surface type is an instance of binary predicate |
| (documentation groundSurfaceType EnglishLanguage "(%&groundSurfaceType ?area ?substance) means that the predominant Substance at the ground surface of the LandArea ?area is ?substance.") | Geography.kif 5780-5781 | ground surface type is an instance of binary predicate |
| (domain groundSurfaceType 1 LandArea) | Geography.kif 5782-5782 | The number 1 argument of ground surface type is an instance of land area |
| (domainSubclass groundSurfaceType 2 Substance) | Geography.kif 5783-5783 | The number 2 argument of ground surface type is a subclass of substance |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage groundSurfaceType "%2 is %n a ground surface type of %1") | domainEnglishFormat.kif 1131-1131 | |
| (format ChineseTraditionalLanguage groundSurfaceType "%2 %n 是 %1 的 ground 表面類別") | domainEnglishFormat.kif 1132-1132 | |
| (format ChineseLanguage groundSurfaceType "%2 %n 是 %1 的 ground 表面类别") | domainEnglishFormat.kif 1133-1133 | |
| (termFormat EnglishLanguage groundSurfaceType "ground surface type") | domainEnglishFormat.kif 26720-26720 | |
| (termFormat ChineseTraditionalLanguage groundSurfaceType "地面類型") | domainEnglishFormat.kif 26721-26721 | |
| (termFormat ChineseLanguage groundSurfaceType "地面类型") | domainEnglishFormat.kif 26722-26722 |
| antecedent |
|
|
| (=> (and (instance ?area GeographicArea) (groundSurfaceType ?area Rock)) (not (attribute ?area FertileTerrain))) |
Geography.kif 3275-3279 | If X is an instance of geographic area and rock is a ground surface type of X, then fertile terrain is not an attribute of X |
| (=> (and (instance ?area LandArea) (groundSurfaceType ?area ?type1) (groundSubsurfaceType ?area ?type2)) (exists (?above ?below) (and (instance ?above ?type1) (instance ?below ?type2) (orientation ?above ?below Above)))) |
Geography.kif 5792-5801 | If X is an instance of land area, Y is a ground surface type of X, and Z is a ground subsurface type of X, then there exist W, V such that W is an instance of Y, V is an instance of Z, and W is above to V |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?M Mountain) (groundSurfaceType ?M Rock)) |
Geography.kif 5553-5555 | If X is an instance of mountain, then rock is a ground surface type of X |
| (=> (instance ?DESERT Desert) (or (groundSurfaceType ?DESERT Rock) (groundSurfaceType ?DESERT Sand))) |
Geography.kif 8257-8261 | If X is an instance of desert, then rock is a ground surface type of X or sand is a ground surface type of X |
|