No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 716-716 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 715-715 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 714-714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19176-19176 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19175-19175 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19174-19174 |
|