TreeView Knowledge Base Browser - newRegisteredUsers

appearance as argument number 2

(termFormat EnglishLanguage newRegisteredUsers "new registered users")	UXExperimentalTerms.kif 3616-3616
(format EnglishLanguage newRegisteredUsers "members of %3 have registered for %2 during %1")	domainEnglishFormat.kif 3970-3970
(format ChineseTraditionalLanguage newRegisteredUsers "%3 的成員有 registered 對於 %2 在期間 %1 ")	domainEnglishFormat.kif 3971-3971
(format ChineseLanguage newRegisteredUsers "%3 的成员有 registered 对于 %2 在期间 %1 ")	domainEnglishFormat.kif 3972-3972

antecedent

(=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent))	UXExperimentalTerms.kif 3622-3626	If members of X have registered for Y during Z and W is a member of X, then W is an instance of agent
(=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?DURING) (and (instance ?DURING TimeInterval) (during ?DURING ?INT) (holdsDuring ?DURING (registeredUser ?MEMBER ?SITE)))))	UXExperimentalTerms.kif 3628-3637	If members of X have registered for Y during Z and W is a member of X, then there exists V such that V is an instance of timeframe, V takes place during Z, and W is a registered user of Y holds during V
(=> (and (newRegisteredUsers ?INT1 ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?INT2) (and (instance ?INT2 TimeInterval) (earlier ?INT2 ?INT1) (holdsDuring ?INT2 (registeredUser ?MEMBER ?SITE))))))	UXExperimentalTerms.kif 3639-3649	If members of X have registered for Y during Z and W is a member of X, then there doesn't exist V such that V is an instance of timeframe, V happens earlier than Z, and W is a registered user of Y holds during V