No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20-20 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19-19 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18-18 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2713-2713 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2479-2479 |
中止发射 是 中止 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2433-2433 |
任务中止 是 中止 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5076-5076 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5075-5075 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5074-5074 |
|