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 |
TargetThreatReconnaissance est une sous-classe de SpecialReconnaissance |