No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1153-1153 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1152-1152 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1151-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27702-27702 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27701-27701 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27700-27700 |
|