No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17524-17524 |
Likely is an instance of probability attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17533-17533 |
Unlikely is an instance of probability attribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47486-47486 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47485-47485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47484-47484 |
|