No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5627-5629 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7727-7727 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7728-7728 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5625-5625 |
Reservoir e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5624-5624 |
Reservoir e' uma sub-classe de Area Aquatica nao-salgada |