No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 983-983 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 982-982 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 981-981 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23008-23008 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23007-23007 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23006-23006 |
|