No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9979-9979 |
範圍子類 EdemaFn and Edema |
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 9956-9956 |
|
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 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 9961-9961 |
|