| Street
|
| appearance as argument number 1 |
|
| (externalImage Street "http://upload.wikimedia.org/wikipedia/commons/0/03/ Shanghaid03.jpg") | pictureList.kif 3193-3193 | |
| (externalImage Street "http://upload.wikimedia.org/wikipedia/commons/2/22/ M%C3%BCnchner-Stra%C3%9Fe%2C-Frankfurt.jpg") | pictureList.kif 3192-3192 | |
| (externalImage Street "http://upload.wikimedia.org/wikipedia/en/2/2c/Centralbeirut.jpg") | pictureList.kif 2988-2988 | |
| (subclass Street Roadway) | Transportation.kif 1784-1784 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Street "街") | domainEnglishFormat.kif 55619-55619 | |
| (termFormat ChineseTraditionalLanguage Street "街") | domainEnglishFormat.kif 55618-55618 | |
| (termFormat EnglishLanguage Street "street") | domainEnglishFormat.kif 55617-55617 |
| consequent |
|
|
| (=> (instance ?PARK StreetParking) (exists (?STREET) (and (instance ?STREET Street) (orientation ?PARK ?STREET On)))) |
TransportDetail.kif 70-75 |
|
|
|