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 |
|
![]() |
![]() |