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 |
|
![]() |
![]() |