| AircraftCarrier
| |
| appearance as argument number 1 |
|
|
| (documentation AircraftCarrier EnglishLanguage "A MilitaryShip on which MilitaryAircraft can land and take off.") | Transportation.kif 2633-2634 | |
| (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 2763-2763 | |
| (subclass AircraftCarrier MilitaryShip) | Transportation.kif 2632-2632 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AircraftCarrier "航空母舰") | domainEnglishFormat.kif 6135-6135 | |
| (termFormat ChineseTraditionalLanguage AircraftCarrier "航空母艦") | domainEnglishFormat.kif 6134-6134 | |
| (termFormat EnglishLanguage AircraftCarrier "aircraft carrier") | domainEnglishFormat.kif 6133-6133 |
| 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 2636-2650 |
|
|
|