| Street(street)
|
| appearance as argument number 1 |
|
| (externalImage Street "http://upload.wikimedia.org/wikipedia/commons/0/03/ Shanghaid03.jpg") | pictureList.kif 3195-3195 | |
| (externalImage Street "http://upload.wikimedia.org/wikipedia/commons/2/22/ M%C3%BCnchner-Stra%C3%9Fe%2C-Frankfurt.jpg") | pictureList.kif 3194-3194 | |
| (externalImage Street "http://upload.wikimedia.org/wikipedia/en/2/2c/Centralbeirut.jpg") | pictureList.kif 2990-2990 | |
| (subclass Street Roadway) | Transportation.kif 1629-1629 | Street is a subclass of roadway |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Street "街") | domainEnglishFormat.kif 55498-55498 | |
| (termFormat ChineseTraditionalLanguage Street "街") | domainEnglishFormat.kif 55497-55497 | |
| (termFormat EnglishLanguage Street "street") | domainEnglishFormat.kif 55496-55496 |
| consequent |
|
|
| (=> (instance ?PARK StreetParking) (exists (?STREET) (and (instance ?STREET Street) (orientation ?PARK ?STREET On)))) |
TransportDetail.kif 66-71 |
|
|
|
|