No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2798-2798 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2797-2797 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2796-2796 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7380-7380 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7379-7379 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7378-7378 |
|