| Street(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 | Street is a subclass of roadway |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Street "街") | domainEnglishFormat.kif 55588-55588 | |
| (termFormat ChineseTraditionalLanguage Street "街") | domainEnglishFormat.kif 55587-55587 | |
| (termFormat EnglishLanguage Street "street") | domainEnglishFormat.kif 55586-55586 |
| consequent |
|
|
| (=> (instance ?PARK StreetParking) (exists (?STREET) (and (instance ?STREET Street) (orientation ?PARK ?STREET On)))) |
TransportDetail.kif 70-75 |
|
|
|
|