No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15121-15122 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12050-12050 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12051-12051 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12048-12048 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12046-12046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12049-12049 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10306-10306 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12045-12045 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15119-15119 |
Transparent is an instance of visual attribute |