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 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 3115-3115 | ParkingGarage ist eine teilkategorie von Building |
appearance as argument number 2 |
(termFormat ChineseLanguage ParkingGarage "停车库") | domainEnglishFormat.kif 44450-44450 | |
(termFormat ChineseTraditionalLanguage ParkingGarage "停車庫") | domainEnglishFormat.kif 44449-44449 | |
(termFormat EnglishLanguage ParkingGarage "parking garage") | domainEnglishFormat.kif 44448-44448 |
antecedent |
(=> (instance ?PARK ParkingGarage) (exists (?LOT) (and (instance ?LOT ParkingLot) (located ?LOT ?PARK)))) |
TransportDetail.kif 97-102 |
|