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