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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RiverBank

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 5566-5566
(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 5564-5564
(subclass RiverBank ShoreArea) Geography.kif 5563-5563

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 5568-5573


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

Show without tree


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