No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16968-16970 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16964-16964 |
域 貨幣工資, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16965-16965 |
域 貨幣工資, 2 and Human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16966-16966 |
域 貨幣工資, 3 and TimeDuration |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16967-16967 |
域 貨幣工資, 4 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16963-16963 |
例 貨幣工資 and QuaternaryPredicate |