Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SewageSystem(sewage system)
|  | sewage_system, sewage_works, sewer_system |
| appearance as argument number 1 |
|
|
| (subclass SewageSystem Pipeline) | Transportation.kif 785-785 | Sewage system is a subclass of pipeline |
| (documentation SewageSystem EnglishLanguage "A Pipline which is used to transport human waste to an area where it can be treated and/ or disposed of.") | Transportation.kif 786-787 | Sewage system is a subclass of pipeline |
| (externalImage SewageSystem "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ Brightons_Victorian_sewage_tunnel.jpg") | pictureList.kif 4819-4819 | Sewage system is a subclass of pipeline |
| (externalImage SewageSystem "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Paris_Egouts_p1010721.jpg") | pictureList.kif 9629-9629 | Sewage system is a subclass of pipeline |
| (externalImage SewageSystem "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Orfice.jpg") | pictureList.kif 9630-9630 | Sewage system is a subclass of pipeline |
| (externalImage SewageSystem "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Paris_Egouts_p1010737.jpg") | pictureList.kif 9631-9631 | Sewage system is a subclass of pipeline |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?T Transportation) (patient ?T ?S) (instrument ?T ?SS) (instance ?SS SewageSystem)) (instance ?S Sewage)) |
Transportation.kif 789-795 | If X is an instance of transportation, Y is a patient of X, Z is an instrument for X, and Z is an instance of sewage system, then Y is an instance of sewage |
|