No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 106-112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11946-11946 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11947-11947 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11945-11945 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 105-105 |
Target threat reconnaissance is a subclass of special reconnaissance |