No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3335-3335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3334-3334 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3333-3333 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3972-3972 |
event located is a subrelation of event partly located |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10364-10364 |
path is a subrelation of event partly located |
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1852-1852 |
|