newRegisteredUsers |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3619-3621 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3611-3611 | Le nombre 1 argument de newRegisteredUsers est une instance de interval temporel |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3613-3613 | Le nombre 2 argument de newRegisteredUsers est une instance de WebSite |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3615-3615 | Le nombre 3 argument de newRegisteredUsers est une instance de collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3609-3609 | newRegisteredUsers est une instance de pr�dicat ternaire |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3974-3974 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3973-3973 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3972-3972 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3617-3617 |
antecedent |
![]() |
![]() |
![]() |