No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 116-116 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 115-115 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 114-114 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6066-6066 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6065-6065 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6064-6064 |
|