| AircraftCarrier(aircraft carrier)
| | aircraft_carrier, attack_aircraft_carrier, carrier, flattop |
| appearance as argument number 1 |
|
|
| (documentation AircraftCarrier EnglishLanguage "A MilitaryShip on which MilitaryAircraft can land and take off.") | Transportation.kif 2627-2628 | |
| (externalImage AircraftCarrier "http://articulatesoftware.com/SUMOpictures/ armed_services/ Navy/ aircraft_carrier_3.png") | pictureList.kif 212-212 | |
| (externalImage AircraftCarrier "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ INS_Viraat_%28R22%29_Malabar_07.jpg") | pictureList.kif 2072-2072 | |
| (subclass AircraftCarrier MilitaryAirport) | MilitaryProcesses.kif 2783-2783 | Aircraft carrier is a subclass of military airport |
| (subclass AircraftCarrier MilitaryShip) | Transportation.kif 2626-2626 | Aircraft carrier is a subclass of military ship |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AircraftCarrier "航空母舰") | domainEnglishFormat.kif 6130-6130 | |
| (termFormat ChineseTraditionalLanguage AircraftCarrier "航空母艦") | domainEnglishFormat.kif 6129-6129 | |
| (termFormat EnglishLanguage AircraftCarrier "aircraft carrier") | domainEnglishFormat.kif 6128-6128 |
| antecedent |
|
|
| (=> (instance ?C AircraftCarrier) (hasPurpose ?C (exists (?A ?T ?CLASS) (and (instance ?A Aircraft) (patient ?T ?A) (instance ?T ?CLASS) (or (and (capability ?CLASS origin ?C) (subclass ?CLASS TakingOff)) (and (capability ?CLASS destination ?C) (subclass ?CLASS Landing ?C))))))) |
Transportation.kif 2630-2644 |
|
|
|
|