No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9159-9159 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9162-9162 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9160-9160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9161-9161 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9163-9163 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8456-8456 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2726-2726 |
DriftnetFishing e' uma sub-classe de Fishing |