No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1381-1381 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1380-1380 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1379-1379 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30799-30799 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30798-30798 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30797-30797 |
|