No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4610-4610 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4609-4609 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4608-4608 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55008-55008 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55007-55007 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55006-55006 |
|