| 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 2071-2071 | |
| (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 6131-6131 | |
| (termFormat ChineseTraditionalLanguage AircraftCarrier "航空母艦") | domainEnglishFormat.kif 6130-6130 | |
| (termFormat EnglishLanguage AircraftCarrier "aircraft carrier") | domainEnglishFormat.kif 6129-6129 |
| 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 |
|
|
|
|