No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13280-13281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8903-8903 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8904-8904 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8348-8348 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13279-13279 |
ArrowIcon est une sous-classe de icone |