No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11137-11138 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7688-7688 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6806-6806 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7689-7689 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7686-7686 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7690-7690 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7691-7691 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7687-7687 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7692-7692 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11136-11136 |
PulmonaryArtery e' uma sub-classe de Artery |