No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1955-1955 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1954-1954 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2033-2033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1953-1953 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45344-45344 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45343-45343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45342-45342 |
|