No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9982-9983 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9978-9978 |
O argumento numero 1 de EdemaFn e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9977-9977 |
EdemaFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9979-9979 |
Os valores retornados por EdemaFn sao as sub-classes de Edema |