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 |
子關係 中止發射 and 中止 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2433-2433 |
子關係 任務中止 and 中止 |
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 |
|