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 5541-5541
(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 700-700
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Manu_riverbank.jpg") pictureList-ImageNet.kif 701-701
(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 703-703
(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
(subclass RiverBank LandForm) Geography.kif 5539-5539
(subclass RiverBank ShoreArea) Geography.kif 5538-5538

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


(termFormat ChineseLanguage RiverBank "河岸") domainEnglishFormat.kif 50091-50091
(termFormat ChineseTraditionalLanguage RiverBank "河岸") domainEnglishFormat.kif 50090-50090
(termFormat EnglishLanguage RiverBank "river bank") domainEnglishFormat.kif 50089-50089

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


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


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