No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13281-13282 |
|
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 13280-13280 |
ArrowIcon est une sous-classe de icone |