| Armor(armor)
| | armor, armour, body_armor, body_armour, cataphract, coat_of_mail, suit_of_armor, suit_of_armour |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1468-1468 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8425-8425 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8424-8424 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8423-8423 |
|
|
|