No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4729-4730 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4726-4728 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 659-659 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 662-662 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 660-660 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 654-654 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 657-657 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 899-899 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 663-663 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 658-658 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 655-655 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 656-656 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 862-862 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4722-4722 |
Iceberg e' uma sub-classe de Ice |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4723-4723 |
Iceberg e' uma sub-classe de Objeto auto-conectado |