Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
registeredUser
Sigma KEE - registeredUser
registeredUser
appearance as argument number 1
(
documentation
registeredUser
EnglishLanguage
"(registedUser ?AGENT ?SITE) means that ?AGENT is a registered user at the
WebSite
?SITE - i.e. ?AGENT
hasAccount
a
UserAccount
and that
UserAccount
is an
accountAtSite
?SITE. This also means that there is a part of the
userDatabase
of ?SITE that represents the ?AGENT.")
UXExperimentalTerms.kif 1053-1056
(
domain
registeredUser
1
Agent
)
UXExperimentalTerms.kif 1049-1049
The number 1 argument of
registered user
is an
instance
of
agent
(
domain
registeredUser
2
WebSite
)
UXExperimentalTerms.kif 1051-1051
The number 2 argument of
registered user
is an
instance
of
WebSite
(
instance
registeredUser
BinaryPredicate
)
UXExperimentalTerms.kif 1047-1047
registered user
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
registeredUser
"%1 是 %2 的 registered user ")
domainEnglishFormat.kif 4375-4375
(
format
ChineseTraditionalLanguage
registeredUser
"%1 是 %2 的 registered user ")
domainEnglishFormat.kif 4374-4374
(
format
EnglishLanguage
registeredUser
"%1 is a registered user of %2")
domainEnglishFormat.kif 4373-4373
(
termFormat
EnglishLanguage
registeredUser
"registered user")
UXExperimentalTerms.kif 1058-1058
antecedent
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 1068-1074
If
an agent
is a
registered
user
of
a WebSite
,
then there exists
an user account
such that
the user account
is an
instance
of
user account
and
the agent
has
account
the user account
and
the user account
is an
account
at
the WebSite
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 1060-1066
If
an agent
is a
registered
user
of
a WebSite
,
then there exist
a database
and
an object
such that
the database
is the
user
database
for
the WebSite
and
the object
is a
part
of
the database
and
the object
express
es
the agent
consequent
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1076-1080
If
an user account
is an
account
at
a WebSite
and
an agent
has
account
the user account
,
then
the agent
is a
registered
user
of
the WebSite
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3633-3660
If
a time interval
is an
instance
of
time interval
and
a WebSite
is an
instance
of
WebSite
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
an object
if
the object
is an
instance
of
human
and there doesn't exist
the time interval
_BEFORE such that
the time interval
_BEFORE is an
instance
of
time interval
and
the time interval
_BEFORE happens
earlier
than
the time interval
and
the object
is a
registered
user
of
the WebSite
holds
during
the time interval
_BEFORE and there exists
the time interval
_DURING such that
the time interval
_DURING is an
instance
of
time interval
and
the time interval
_DURING takes place
during
the time interval
and
the object
is a
registered
user
of
the WebSite
holds
during
the time interval
,
then
the object
is a
member
of
the collection
and
the collection
is
equal
to
new
registrations
at
the WebSite
during
the time interval
(=>
(
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
?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
(=>
(
confirmedRegisteredUser
?USER ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1098-1100
If
an agent
is
registered
on
a WebSite
,
then
the agent
is a
registered
user
of
the WebSite
(=>
(
watchingListings
?USER ?COLL ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1443-1445
If user
an agent
on
a WebSite
is
watching
a collection
,
then
the agent
is a
registered
user
of
the WebSite
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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