Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Dam(dam)
|  | Aswan_High_Dam, Glen_Canyon_Dam, High_Dam, Hoover_Dam, dam, dike, dyke, milldam, weir |
| appearance as argument number 1 |
|
|
| (subclass Dam StationaryArtifact) | Geography.kif 7212-7212 | Dam is a subclass of stationary artifact |
| (documentation Dam EnglishLanguage "Dam is the subclass of StationaryArtifacts that are walls built across a stream or river to hold back water.") | Geography.kif 7214-7215 | Dam is a subclass of stationary artifact |
| (subclass Dam TransitwayObstacle) | Transportation.kif 4511-4511 | Dam is a subclass of transitway obstacle |
| (externalImage Dam "http://articulatesoftware.com/SUMOpictures/geography/ dam.png") | pictureList.kif 382-382 | Dam is a subclass of transitway obstacle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER)))) |
Geography.kif 7217-7222 | If X is an instance of dam, then there exists Y such that Y is an instance of water area and X traverses Y |
|