No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9865-9865 |
Le nombre 1 argument de phMeasure est une instance de objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9866-9866 |
Le nombre 2 argument de phMeasure est une instance de AcidityMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9863-9863 |
phMeasure est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9864-9864 |
phMeasure est une sous-relation de measure |