No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3119-3123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11843-11843 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11839-11839 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11840-11840 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10255-10255 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11842-11842 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11838-11838 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3117-3117 |
SigningAnAgreement est une sous-classe de investir |