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 5759-5759
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Shing_Mun_River_Bank.jpg") pictureList.kif 3179-3179
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Bank_of_Yenisei_River.jpg") pictureList.kif 3178-3178
(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 3175-3175
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6f/ Bosque_River_bank.jpg") pictureList.kif 2984-2984
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Namoi-River-sand-bank.jpg") pictureList.kif 3177-3177
(externalImage RiverBank "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Yellow_Bank_River.jpg") pictureList.kif 3176-3176
(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 5757-5757
(subclass RiverBank ShoreArea) Geography.kif 5756-5756

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


(termFormat ChineseLanguage RiverBank "河岸") domainEnglishFormat.kif 50108-50108
(termFormat ChineseTraditionalLanguage RiverBank "河岸") domainEnglishFormat.kif 50107-50107
(termFormat EnglishLanguage RiverBank "river bank") domainEnglishFormat.kif 50106-50106

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


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


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