| ParkingGarage(停车库)
|
| appearance as argument number 1 |
|
| (documentation ParkingGarage EnglishLanguage "a ParkingGarage is a type of Building with a ParkingLot located in it") | TransportDetail.kif 91-92 | |
| (externalImage ParkingGarage "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ HDBMulti-storey.JPG") | pictureList.kif 1892-1892 | |
| (externalImage ParkingGarage "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Car_park_whirley-gig.JPG") | pictureList.kif 2280-2280 | |
| (subclass ParkingGarage Building) | Transportation.kif 2934-2934 | 停车库 是 建筑物 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ParkingGarage "停车库") | domainEnglishFormat.kif 44425-44425 | |
| (termFormat ChineseTraditionalLanguage ParkingGarage "停車庫") | domainEnglishFormat.kif 44424-44424 | |
| (termFormat EnglishLanguage ParkingGarage "parking garage") | domainEnglishFormat.kif 44423-44423 |
| antecedent |
|
|
| (=> (instance ?PARK ParkingGarage) (exists (?LOT) (and (instance ?LOT ParkingLot) (located ?LOT ?PARK)))) |
TransportDetail.kif 93-98 |
|
|
|