ParkingGarage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ParkingGarage EnglishLanguage "a ParkingGarage is a type of Building with a ParkingLot located in it")	TransportDetail.kif 95-96
(subclass ParkingGarage Building)	Transportation.kif 4312-4312	Parking garage is a subclass of building
(externalImage ParkingGarage "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ HDBMulti_storey.JPG")	pictureList.kif 1890-1890	Parking garage is a subclass of building
(externalImage ParkingGarage "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Car_park_whirley_gig.JPG")	pictureList.kif 2278-2278	Parking garage is a subclass of building

appearance as argument number 2

(termFormat EnglishLanguage ParkingGarage "parking garage")	domainEnglishFormat.kif 44441-44441
(termFormat ChineseTraditionalLanguage ParkingGarage "停車庫")	domainEnglishFormat.kif 44442-44442
(termFormat ChineseLanguage ParkingGarage "停车库")	domainEnglishFormat.kif 44443-44443

antecedent

(=>
    (instance ?PARK ParkingGarage)
    (exists (?LOT)
        (and
            (instance ?LOT ParkingLot)
            (located ?LOT ?PARK))))

If X is an instance of parking garage, then there exists Y such that Y is an instance of parking lot and Y is located at X