No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2839-2840 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11930-11930 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11928-11928 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8745-8745 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11927-11927 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11926-11926 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11931-11931 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10279-10279 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11929-11929 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9722-9722 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2838-2838 |
Symmetric shape is an instance of shape attribute |