No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1028-1031 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1016-1016 |
SellersOtherItemsFn 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1018-1018 |
SellersOtherItemsFn 的 2 数量 是 WebSite 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1020-1020 |
SellersOtherItemsFn 的 3 数量 是 WebListing 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1022-1022 |
SellersOtherItemsFn 的 4 数量 是 时点 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1014-1014 |
SellersOtherItemsFn 是 四元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1024-1024 |
SellersOtherItemsFn 的 range 是 群体 的实例 |