No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31121-31123 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31125-31125 |
域 circumfrence, 1 and Object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31127-31127 |
域 circumfrence, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31114-31114 |
例 circumfrence and BinaryPredicate |