Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| newRegisteredUsers |
| appearance as argument number 1 |
|
| (instance newRegisteredUsers TernaryPredicate) | UXExperimentalTerms.kif 3608-3608 | new registered users is an instance of ternary predicate |
| (domain newRegisteredUsers 1 TimeInterval) | UXExperimentalTerms.kif 3610-3610 | The number 1 argument of new registered users is an instance of timeframe |
| (domain newRegisteredUsers 2 WebSite) | UXExperimentalTerms.kif 3612-3612 | The number 2 argument of new registered users is an instance of web site |
| (domain newRegisteredUsers 3 Collection) | UXExperimentalTerms.kif 3614-3614 | The number 3 argument of new registered users is an instance of collection |
| (documentation newRegisteredUsers EnglishLanguage "(newRegisteredUsers ?INT ?SITE ?COLL) means that ?COLL is the Collection of Agents who are registeredUsers of the WebSite ?SITE during some TimeInterval during the TimeInterval ?INT, but were not during an earlier TimeInterval.") | UXExperimentalTerms.kif 3618-3620 | The number 3 argument of new registered users is an instance of collection |
| 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 |
|