WebListing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 29-30 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 26-26 | WebListing 是 广告 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 27-27 |
appearance as argument number 3 |
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 118-118 | hostedOn 的 1 数量 是 WebListing 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 101-101 | listingBidder 的 1 数量 是 WebListing 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 77-77 | listingBuyer 的 1 数量 是 WebListing 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 48-48 | listingSeller 的 1 数量 是 WebListing 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2322-2322 | searchResult 的 1 数量 是 WebListing 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1534-1534 | viewedListing 的 2 数量 是 WebListing 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 145-160 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2922-2940 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1033-1060 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 373-379 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 381-388 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 313-325 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 39-45 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2078-2091 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1257-1271 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 32-37 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 299-303 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2483-2489 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 992-1008 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 139-143 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2922-2940 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2065-2076 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1251-1255 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 240-255 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 220-230 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 209-218 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 266-286 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 959-965 |
|