Armor
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1610-1615 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1468-1468 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1609-1609 | Armor e' uma sub-classe de Artefato |
appearance as argument number 2 |
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 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8422-8422 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1619-1630 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1632-1644 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2140-2145 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1601-1606 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 659-667 |