No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1647-1647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1646-1646 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2034-2034 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1645-1645 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36599-36599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36598-36598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36597-36597 |
|