| AAV
|
| appearance as argument number 1 |
|
| (externalImage AAV "http://articulatesoftware.com/SUMOpictures/armed_services/ Marines/ AAV.png") | pictureList.kif 205-205 |
| consequent |
|
|
| (=> (instance ?AAU AssaultAmphibianUnit) (exists (?AAV) (and (instance ?AAV AAV) (possesses ?AAU ?AAV)))) |
MilitaryPersons.kif 656-661 |
|
|
|
|