Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RiverBank
RiverBank
more pictures...

appearance as argument number 1
-------------------------


(documentation RiverBank EnglishLanguage "A RiverBank is the ShoreArea adjacent to a River.") Geography.kif 5435-5435
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Shing_Mun_River_Bank.jpg") pictureList.kif 3180-3180
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Bank_of_Yenisei_River.jpg") pictureList.kif 3179-3179
(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 701-701
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Manu_riverbank.jpg") pictureList-ImageNet.kif 702-702
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Palawan_-_River_Bank.jpg") pictureList.kif 3176-3176
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6f/ Bosque_River_bank.jpg") pictureList.kif 2985-2985
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Namoi-River-sand-bank.jpg") pictureList.kif 3178-3178
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Yellow_Bank_River.jpg") pictureList.kif 3177-3177
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 6f/ Bosque_River_bank.jpg/ 180px-Bosque_River_bank.jpg") pictureList-ImageNet.kif 704-704
(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 700-700
(subclass RiverBank LandForm) Geography.kif 5433-5433
(subclass RiverBank ShoreArea) Geography.kif 5432-5432

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage RiverBank "河岸") domainEnglishFormat.kif 50027-50027
(termFormat ChineseTraditionalLanguage RiverBank "河岸") domainEnglishFormat.kif 50026-50026
(termFormat EnglishLanguage RiverBank "river bank") domainEnglishFormat.kif 50025-50025

antecedent
-------------------------


(=>
    (instance ?bank RiverBank)
    (exists (?river)
        (and
            (instance ?river River)
            (meetsSpatially ?river ?bank))))
Geography.kif 5437-5442


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners