No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3790-3790 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3789-3789 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3788-3788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34997-34997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34996-34996 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 449-449 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34995-34995 |
|