No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4991-4993 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7063-7063 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6611-6611 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7064-7064 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7065-7065 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7066-7066 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7069-7069 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7059-7059 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7060-7060 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7061-7061 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7062-7062 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4989-4989 |
HighTide e' uma sub-classe de TidalProcess |