No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9980-9980 |
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 9960-9960 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9957-9957 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9959-9959 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9961-9961 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9958-9958 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9962-9962 |
|