No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 704-704 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 703-703 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 702-702 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19098-19098 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19097-19097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19096-19096 |
|