No TPTP formula. May not be expressible in strict first order. |
Communications.kif 158-159 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7113-7113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6631-6631 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7114-7114 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 157-157 |
Inmarsat est une sous-classe de CommunicationSatellite |