No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17546-17546 |
Likely is an instance of probability attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17555-17555 |
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 |
|