No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10007-10007 |
EdemaFn 的所得值 是 Edema 的 subclass |
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 |
|