| 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 1891-1891 | |
| (externalImage ParkingGarage "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Car_park_whirley-gig.JPG") | pictureList.kif 2279-2279 | |
| (subclass ParkingGarage Building) | Transportation.kif 3734-3734 | Parking garage is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ParkingGarage "停车库") | domainEnglishFormat.kif 44486-44486 | |
| (termFormat ChineseTraditionalLanguage ParkingGarage "停車庫") | domainEnglishFormat.kif 44485-44485 | |
| (termFormat EnglishLanguage ParkingGarage "parking garage") | domainEnglishFormat.kif 44484-44484 |
| antecedent |
|
|
| (=> (instance ?PARK ParkingGarage) (exists (?LOT) (and (instance ?LOT ParkingLot) (located ?LOT ?PARK)))) |
TransportDetail.kif 97-102 |
|
|
|
|