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