No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1287-1289 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1281-1281 |
customerValue 的 1 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1283-1283 |
customerValue 的 2 数量 是 Business 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1285-1285 |
customerValue 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1277-1277 |
customerValue 是 三元谓语 的 instance |