SellersItemsFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 989-990 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 981-981 | Le nombre 1 argument de SellersItemsFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 983-983 | Le nombre 2 argument de SellersItemsFn est une instance de WebSite |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 979-979 | SellersItemsFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 985-985 | Le domaine de SellersItemsFn est une instance de collection |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4482-4482 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4481-4481 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4480-4480 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 987-987 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1033-1060 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 992-1008 |
|
![]() |
![]() |