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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dam

Sigma KEE - Dam
Dam(dam)
Aswan_High_Dam, Glen_Canyon_Dam, High_Dam, Hoover_Dam, dam, dike, dyke, milldam, weir

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


(documentation Dam EnglishLanguage "Dam is the subclass of StationaryArtifacts that are walls built across a stream or river to hold back water.") Geography.kif 5614-5615
(externalImage Dam "http://articulatesoftware.com/SUMOpictures/geography/ dam.png") pictureList.kif 382-382
(subclass Dam StationaryArtifact) Geography.kif 5612-5612 Dam is a subclass of stationary artifact
(subclass Dam TransitwayObstacle) Transportation.kif 3246-3246 Dam is a subclass of transitway obstacle

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


(termFormat ChineseLanguage Dam "坝") domainEnglishFormat.kif 18432-18432
(termFormat ChineseTraditionalLanguage Dam "壩") domainEnglishFormat.kif 18431-18431
(termFormat EnglishLanguage Dam "dam") domainEnglishFormat.kif 18430-18430

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


(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))
Geography.kif 5617-5622


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