TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Street Roadway)	Transportation.kif 1799-1799	Street is a subclass of roadway
(externalImage Street "http://upload.wikimedia.org/wikipedia/en/2/2c/Centralbeirut.jpg")	pictureList.kif 2988-2988	Street is a subclass of roadway
(externalImage Street "http://upload.wikimedia.org/wikipedia/commons/2/22/ M%C3%BCnchner_Stra%C3%9Fe%2C_Frankfurt.jpg")	pictureList.kif 3192-3192	Street is a subclass of roadway
(externalImage Street "http://upload.wikimedia.org/wikipedia/commons/0/03/ Shanghaid03.jpg")	pictureList.kif 3193-3193	Street is a subclass of roadway

appearance as argument number 2

(termFormat EnglishLanguage Street "street")	domainEnglishFormat.kif 55579-55579
(termFormat ChineseTraditionalLanguage Street "街")	domainEnglishFormat.kif 55580-55580
(termFormat ChineseLanguage Street "街")	domainEnglishFormat.kif 55581-55581

consequent

(=>
    (instance ?PARK StreetParking)
    (exists (?STREET)
        (and
            (instance ?STREET Street)
            (orientation ?PARK ?STREET On))))

If X is an instance of street parking, then there exists Y such that Y is an instance of street and X is on to Y