Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Canyon
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Canyon LandForm) | Geography.kif 5763-5763 | Canyon is a subclass of land form |
| (documentation Canyon EnglishLanguage "A Canyon is a narrow valley with steep sides, usually created by erosion.") | Geography.kif 5764-5765 | Canyon is a subclass of land form |
| (externalImage Canyon "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d1/ Grand_Canyon.jpg.jpg/ 180px_Grand_Canyon.jpg.jpg") | pictureList.kif 1063-1063 | Canyon is a subclass of land form |
| (externalImage Canyon "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Stgeorgeutah.jpg") | pictureList.kif 3052-3052 | Canyon is a subclass of land form |
| (externalImage Canyon "http://upload.wikimedia.org/wikipedia/commons/0/07/ 3-Devils_grade_Moses_Coulee_Cattle_Feed_Lot_PB110016.JPG") | pictureList.kif 3054-3054 | Canyon is a subclass of land form |
| (externalImage Canyon "http://upload.wikimedia.org/wikipedia/commons/d/d1/ Grand_Canyon.jpg.jpg") | pictureList.kif 3055-3055 | Canyon is a subclass of land form |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Canyon Canyon) (exists (?Hole) (hole ?Hole ?Canyon))) |
Geography.kif 5767-5770 | If X is an instance of canyon, then there exists Y such that Y is a hole in X |
| (=> (instance ?Canyon Canyon) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Canyon)))) |
Geography.kif 5771-5776 | If X is an instance of canyon, then there exists Y such that Y is an instance of erosion and X is a result of Y |
|
