No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 825-827 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8674-8674 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9575-9575 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9580-9580 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9576-9576 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9577-9577 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9578-9578 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 824-824 |
Radar reconnaissance is a subclass of reconnaissance operation |