No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4095-4099 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12157-12157 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10335-10335 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4092-4092 |
WatershedDivide e' uma sub-classe de Area terrestre |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4093-4093 |
WatershedDivide e' uma sub-classe de UplandArea |