newRegisteredUsers - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - newRegisteredUsers

newRegisteredUsers

appearance as argument number 1

(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 3824-3826
(domain newRegisteredUsers 1 TimeInterval)	UXExperimentalTerms.kif 3816-3816	The number 1 argument of new registered users is an instance of time interval
(domain newRegisteredUsers 2 WebSite)	UXExperimentalTerms.kif 3818-3818	The number 2 argument of new registered users is an instance of WebSite
(domain newRegisteredUsers 3 Collection)	UXExperimentalTerms.kif 3820-3820	The number 3 argument of new registered users is an instance of collection
(instance newRegisteredUsers TernaryPredicate)	UXExperimentalTerms.kif 3814-3814	new registered users is an instance of ternary predicate

appearance as argument number 2

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

antecedent

(=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?DURING) (and (instance ?DURING TimeInterval) (during ?DURING ?INT) (holdsDuring ?DURING (registeredUser ?MEMBER ?SITE)))))	UXExperimentalTerms.kif 3834-3843	If members of a collection have registered for a WebSite during a time interval and an object is a member of the collection, then there exists another time interval such that the other time interval is an instance of time interval and the other time interval takes place during the time interval and the object is a registered user of the WebSite holds during the other time interval
(=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER Agent))	UXExperimentalTerms.kif 3828-3832	If members of a collection have registered for a WebSite during a time interval and an object is a member of the collection, then the object is an instance of agent
(=> (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 3845-3855	If members of a collection have registered for a WebSite during a time interval and an object is a member of the collection, then there doesn't exist another time interval such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the object is a registered user of the WebSite holds during the other time interval

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners