more pictures...| Iceberg(iceberg)
more pictures... |
| appearance as argument number 1 |
|
| (subclass Iceberg Ice) | Geography.kif 6280-6280 | Iceberg is a subclass of ice |
| (subclass Iceberg SelfConnectedObject) | Geography.kif 6281-6281 | Iceberg is a subclass of self connected object |
| (documentation Iceberg EnglishLanguage "An Iceberg is a large chunk of Ice that has broken off from a Glacier and fallen into a BodyOfWater. The larger part of an Iceberg floats underwater.") | Geography.kif 6284-6286 | Iceberg is a subclass of self connected object |
| (documentation Iceberg ChineseLanguage "Iceberg 是一大块 Ice，它从Glacier 脱落丢进 BodyOfWater。大部分 (part)的 Iceberg 悬浮在水中。") | Geography.kif 6287-6288 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/archive/ a/ ab/ 20071002200641!Iceberg_with_hole_near_sanderson_hope_2007-07-28_1.jpg") | pictureList-ImageNet.kif 654-654 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ aa/ Iceberg_with_hole_edit.jpg/ 250px_Iceberg_with_hole_edit.jpg") | pictureList-ImageNet.kif 655-655 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bb/ Iceberg_icone2.svg/ 400px_Iceberg_icone2.svg.png") | pictureList-ImageNet.kif 656-656 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/archive/ a/ ab/ 20080228203349!Fram_approaching_in_front_of_iceberg_upernavik_2007-08-19_1.jpg") | pictureList-ImageNet.kif 657-657 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 70/ Iceberg_drifting_towards_upernavik_2007-07-31.jpg/ 480px_Iceberg_drifting_towards_upernavik_2007-07-31.jpg") | pictureList-ImageNet.kif 658-658 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/4/ 4b/ Greenland,_Iceberg's_window_(js)1.jpg") | pictureList-ImageNet.kif 659-659 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/9/ 92/ Iceberg_recently_calved_upernavik_2007-08-17_1.jpg") | pictureList-ImageNet.kif 660-660 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ Greenland,_iceberg,_Kong_Oscar_Fjord_(js)1.jpg") | pictureList-ImageNet.kif 662-662 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 32/ Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg/ 523px_Iceberg_with_hole_near_sanderson_hope_2007-07-28_2.jpg") | pictureList-ImageNet.kif 663-663 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/en/0/01/Wikisourcelogo.jpg") | pictureList.kif 862-862 | Iceberg is a subclass of self connected object |
| (externalImage Iceberg "http://upload.wikimedia.org/wikipedia/commons/e/ e9/ Carlb_newfoundland_iceberg-2002.jpg") | pictureList.kif 899-899 | Iceberg is a subclass of self connected object |
| appearance as argument number 2 |
|
|
| (naturalHazardTypeInArea SouthernOcean Iceberg) | Geography.kif 6236-6236 | Iceberg is a natural hazard type in area of southern ocean |
| (termFormat EnglishLanguage Iceberg "iceberg") | domainEnglishFormat.kif 29123-29123 | Iceberg is a natural hazard type in area of southern ocean |
| (termFormat ChineseTraditionalLanguage Iceberg "冰山") | domainEnglishFormat.kif 29124-29124 | Iceberg is a natural hazard type in area of southern ocean |
| (termFormat ChineseLanguage Iceberg "冰山") | domainEnglishFormat.kif 29125-29125 | Iceberg is a natural hazard type in area of southern ocean |
| antecedent |
|
|
| (=> (instance ?BERG Iceberg) (exists (?SHEET) (and (subclass ?SHEET Glacier) (holdsDuring (ImmediatePastFn (WhenFn ?BERG)) (material ?SHEET ?BERG))))) |
Geography.kif 6290-6298 | 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 |
| (=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6300-6307 | If X is an instance of iceberg, then there exist Y, Z such that Y is an instance of ice, Y is most of X, Z is an instance of body of water, and Z covers Y |
| (=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP)) |
Geography.kif 6309-6313 | If X is an instance of iceberg and Y is an instance of water vehicle, then X is hazardous to Y. |
|
|
|