ParkingRegion | ![]() |
appearance as argument number 1 |
![]() |
(documentation ParkingRegion EnglishLanguage "A ParkingRegion is a Region where TransportationDevice is kept temporarily") | TransportDetail.kif 32-33 | |
(subclass ParkingRegion Region) | TransportDetail.kif 31-31 | ParkingRegion は 地域 の subclass では |
(typicalPart ParkingRegion TransitTerminal) | Transportation.kif 3650-3650 | typicalPart ParkingRegion and TransitTerminal |
appearance as argument number 2 |
![]() |
(subclass AirportApron ParkingRegion) | Transportation.kif 1271-1271 | AirportApron は ParkingRegion の subclass では |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 46-46 | DisabledParking は ParkingRegion の subclass では |
(subclass StreetParking ParkingRegion) | TransportDetail.kif 65-65 | StreetParking は ParkingRegion の subclass では |
(termFormat EnglishLanguage ParkingRegion "parking area") | TransportDetail.kif 34-34 | StreetParking は ParkingRegion の subclass では |
antecedent |
![]() |
(=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))))) |
TransportDetail.kif 36-44 |
|
consequent |
![]() |
![]() |
![]() |