Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Page
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RiverBank ShoreArea) | Geography.kif 7356-7356 | River bank is a subclass of shore area |
| (subclass RiverBank LandForm) | Geography.kif 7357-7357 | River bank is a subclass of land form |
| (documentation RiverBank EnglishLanguage "A RiverBank is the ShoreArea adjacent to a River.") | Geography.kif 7359-7359 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/en/thumb/ 4/ 4d/ Sacramento_river_bank_pyramid-20.4.jpg/ 800px_Sacramento_river_bank_pyramid-20.4.jpg") | pictureList-ImageNet.kif 699-699 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 3/ 36/ Gehry_photo_office_buildings_river_bank_façade_01_Düsseldorf_Germany_2005-07-27.jpg") | pictureList-ImageNet.kif 700-700 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Manu_riverbank.jpg") | pictureList-ImageNet.kif 701-701 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 6f/ Bosque_River_bank.jpg/ 180px_Bosque_River_bank.jpg") | pictureList-ImageNet.kif 703-703 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6f/ Bosque_River_bank.jpg") | pictureList.kif 2983-2983 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Palawan_-_River_Bank.jpg") | pictureList.kif 3174-3174 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Yellow_Bank_River.jpg") | pictureList.kif 3175-3175 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Namoi_River_sand_bank.jpg") | pictureList.kif 3176-3176 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Bank_of_Yenisei_River.jpg") | pictureList.kif 3177-3177 | River bank is a subclass of land form |
| (externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Shing_Mun_River_Bank.jpg") | pictureList.kif 3178-3178 | River bank is a subclass of land form |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?bank RiverBank) (exists (?river) (and (instance ?river River) (meetsSpatially ?river ?bank)))) |
Geography.kif 7361-7366 | If X is an instance of river bank, then there exists Y such that Y is an instance of river and Y meets X |
|
