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 |
RadarReconnaissance e' uma sub-classe de ReconnaissanceOperation |