No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1747-1747 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1746-1746 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1745-1745 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37889-37889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37888-37888 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37887-37887 |
|