|
|
  LAV
|
|
|
| appearance as argument number 1 |
|
|
| (externalImage LAV "http://articulatesoftware.com/SUMOpictures/armed_services/ Marines/ LAV25.png") | pictureList.kif 545-545 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LAV "LAV") | domainEnglishFormat.kif 33532-33532 | |
| (termFormat ChineseTraditionalLanguage LAV "LAV") | domainEnglishFormat.kif 33531-33531 | |
| (termFormat EnglishLanguage LAV "LAV") | domainEnglishFormat.kif 33530-33530 |
| consequent |
|
|
| (=> (instance ?LAR LARUnit) (exists (?LAV) (and (instance ?LAV LAV) (possesses ?LAR ?LAV)))) |
MilitaryPersons.kif 546-551 |
|
|
|
|
