No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10007-10007 |
Os valores retornados por EdemaFn sao as sub-classes de Edema |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9987-9987 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9984-9984 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9986-9986 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9988-9988 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9985-9985 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9989-9989 |
|