No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1520-1520 |
LAV25 e' uma sub-classe de LAV |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33521-33521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33520-33520 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33519-33519 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2081-2081 |
|