|
|
   AircraftCarrier
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AircraftCarrier EnglishLanguage "A MilitaryShip on which MilitaryAircraft can land and take off.") | Transportation.kif 2464-2465 | |
| (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 MilitaryShip) | Transportation.kif 2463-2463 | AircraftCarrier è una sottoclasse di MilitaryShip |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AircraftCarrier "航空母舰") | domainEnglishFormat.kif 6126-6126 | |
| (termFormat ChineseTraditionalLanguage AircraftCarrier "航空母艦") | domainEnglishFormat.kif 6125-6125 | |
| (termFormat EnglishLanguage AircraftCarrier "aircraft carrier") | domainEnglishFormat.kif 6124-6124 |
| 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 2467-2481 |
|
|
|
|
