SellersOtherItemsFn |
appearance as argument number 1 |
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 | The number 1 argument of sellers other items is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1018-1018 | The number 2 argument of sellers other items is an instance of web site |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1020-1020 | The number 3 argument of sellers other items is an instance of web listing |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1022-1022 | The number 4 argument of sellers other items is an instance of time point |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1014-1014 | Sellers other items is an instance of quaternary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1024-1024 | The range of sellers other items is an instance of collection |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4486-4486 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4485-4485 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4484-4484 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1026-1026 |
consequent |