| ParkingGarage
|
| 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 3724-3724 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ParkingGarage "停车库") | domainEnglishFormat.kif 44481-44481 | |
| (termFormat ChineseTraditionalLanguage ParkingGarage "停車庫") | domainEnglishFormat.kif 44480-44480 | |
| (termFormat EnglishLanguage ParkingGarage "parking garage") | domainEnglishFormat.kif 44479-44479 |
| antecedent |
|
|
| (=> (instance ?PARK ParkingGarage) (exists (?LOT) (and (instance ?LOT ParkingLot) (located ?LOT ?PARK)))) |
TransportDetail.kif 97-102 |
|
|
|