| ParkingGarage(parking garage)
|
| 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 | |
| (externalImage ParkingGarage "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ HDBMulti_storey.JPG") | pictureList.kif 1890-1890 | |
| (externalImage ParkingGarage "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Car_park_whirley_gig.JPG") | pictureList.kif 2278-2278 | |
| (subclass ParkingGarage Building) | Transportation.kif 3766-3766 | Parking garage is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ParkingGarage "停车库") | domainEnglishFormat.kif 44479-44479 | |
| (termFormat ChineseTraditionalLanguage ParkingGarage "停車庫") | domainEnglishFormat.kif 44478-44478 | |
| (termFormat EnglishLanguage ParkingGarage "parking garage") | domainEnglishFormat.kif 44477-44477 |
| antecedent |
|
|
| (=> (instance ?PARK ParkingGarage) (exists (?LOT) (and (instance ?LOT ParkingLot) (located ?LOT ?PARK)))) |
TransportDetail.kif 97-102 |
|
|
|
|