Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Glacier LandForm) | Geography.kif 7598-7598 | Glacier is a subclass of land form |
| (documentation Glacier EnglishLanguage "A Glacier is a large body of slow_moving ice. Glaciers displace soil and rock while moving over land surfaces and break apart, forming Icebergs, when they reach the sea.") | Geography.kif 7600-7602 | Glacier is a subclass of land form |
| (externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 75/ Argentina_Perito_Moreno_Glacier.jpg/ 350px_Argentina_Perito_Moreno_Glacier.jpg") | pictureList-ImageNet.kif 630-630 | Glacier is a subclass of land form |
| (externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 71/ IceBlockNearJoekullsarlon.jpg/ 400px_IceBlockNearJoekullsarlon.jpg") | pictureList-ImageNet.kif 631-631 | Glacier is a subclass of land form |
| (externalImage Glacier "http://upload.wikimedia.org/wikipedia/it/thumb/e/ e7/ Ghiacciaio_scais.jpg/ 300px_Ghiacciaio_scais.jpg") | pictureList-ImageNet.kif 632-632 | Glacier is a subclass of land form |
| (externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c8/ Glaciar_Perito_Moreno-01.jpg/ 800px_Glaciar_Perito_Moreno-01.jpg") | pictureList-ImageNet.kif 633-633 | Glacier is a subclass of land form |
| (externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 37/ PeritoMoreno010.jpg/ 800px_PeritoMoreno010.jpg") | pictureList-ImageNet.kif 634-634 | Glacier is a subclass of land form |
| (externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 12/ Glacier.swiss.500pix.jpg/ 180px_Glacier.swiss.500pix.jpg") | pictureList.kif 1122-1122 | Glacier is a subclass of land form |
| (externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Icebergs_cape_york_1.JPG") | pictureList.kif 2582-2582 | Glacier is a subclass of land form |
| (externalImage Glacier "http://upload.wikimedia.org/wikipedia/commons/9/ 95/ Arranque_glaciar_en.svg") | pictureList.kif 2583-2583 | Glacier is a subclass of land form |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier)))) |
Geography.kif 7604-7610 | If X is an instance of glacier, then there exists Y such that Y is an instance of water, solid is an attribute of Y, and Y is a part of X |
| consequent |
|
|
| (=> (instance ?BERG Iceberg) (exists (?SHEET) (and (subclass ?SHEET Glacier) (holdsDuring (ImmediatePastFn (WhenFn ?BERG)) (material ?SHEET ?BERG))))) |
Geography.kif 6274-6282 | If X is an instance of iceberg, then there exists Y such that Y is a subclass of glacier and X is made of Y holds during immediately before the time of existence of X |
|
