No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4197-4197 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6768-6768 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7557-7557 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7558-7558 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7559-7559 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7560-7560 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7561-7561 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7562-7562 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7563-7563 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7564-7564 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7565-7565 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7566-7566 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7570-7570 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7567-7567 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7568-7568 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7569-7569 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7571-7571 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4196-4196 |
Piedmont est une sous-classe de zone de terre |