No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3339-3340 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14215-14218 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 712-712 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8709-8709 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 714-714 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 709-709 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 707-707 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 746-746 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 716-716 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 715-715 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 710-710 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 623-623 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 718-718 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 713-713 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 708-708 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 717-717 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 747-747 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 711-711 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9656-9656 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 705-705 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 745-745 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 706-706 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 719-719 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14214-14214 |
Shore area is a subclass of land area |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |