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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Dam
Dam

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 5884-5885
(externalImage Dam "http://articulatesoftware.com/SUMOpictures/geography/ dam.png") pictureList.kif 382-382
(subclass Dam StationaryArtifact) Geography.kif 5882-5882 Dam est une sous-classe de artefact stationnaire
(subclass Dam TransitwayObstacle) Transportation.kif 3971-3971 Dam est une sous-classe de TransitwayObstacle

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


(termFormat ChineseLanguage Dam "坝") domainEnglishFormat.kif 18441-18441
(termFormat ChineseTraditionalLanguage Dam "壩") domainEnglishFormat.kif 18440-18440
(termFormat EnglishLanguage Dam "dam") domainEnglishFormat.kif 18439-18439

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


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


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