No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3798-3798 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3797-3797 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3796-3796 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 915-915 |
|