No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17595-17595 |
Likely est une instance de ProbabilityAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17608-17608 |
Unlikely est une instance de ProbabilityAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47488-47488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47487-47487 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47486-47486 |
|