Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 858-861
(
domain
registeredUser
1
AutonomousAgent
)
UXExperimentalTerms.kif 854-854
The number 1 argument of
registered user
is an
instance
of
agent
(
domain
registeredUser
2
WebSite
)
UXExperimentalTerms.kif 856-856
The number 2 argument of
registered user
is an
instance
of
web site
(
instance
registeredUser
BinaryPredicate
)
UXExperimentalTerms.kif 852-852
registered user
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
registeredUser
"%1 是 %2 的 registered user ")
domainEnglishFormat.kif 4366-4366
(
format
ChineseTraditionalLanguage
registeredUser
"%1 是 %2 的 registered user ")
domainEnglishFormat.kif 4365-4365
(
format
EnglishLanguage
registeredUser
"%1 is a registered user of %2")
domainEnglishFormat.kif 4364-4364
(
termFormat
EnglishLanguage
registeredUser
"registered user")
UXExperimentalTerms.kif 863-863
antecedent
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
AutonomousAgent
)
(
instance
?W
WebSite
)
(
component
?P ?W)
(
creator
?A ?P)
(
registeredUser
?A ?W))
(
hasPurpose
?P
(
exists
(?D)
(
and
(
instance
?D
Disseminating
)
(
agent
?D ?A)
(
patient
?D ?P)
(
instrument
?D ?W)))))
ComputerInput.kif 2830-2844
If
a corpuscular object
is an
instance
of
digital post
and
an agent
is an
instance
of
agent
and
a web site
is an
instance
of
web site
and
the corpuscular object
is a
component
of
the web site
and
the agent
created
the corpuscular object
and
the agent
is a
registered
user
of
the web site
,
then
the corpuscular object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
disseminating
and
the agent
is an
agent
of
the entity
and
the corpuscular object
is a
patient
of
the entity
and
the web site
is an
instrument
for
the entity
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
If
an agent
is a
registered
user
of
a web site
,
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 web site
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
If
an agent
is a
registered
user
of
a web site
,
then there exist
a database
and
an object
such that
the database
is the
user
database
for
the web site
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 881-885
If
an user account
is an
account
at
a web site
and
an agent
has
account
the user account
,
then
the agent
is a
registered
user
of
the web site
(=>
(
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 3428-3455
If
a time interval
is an
instance
of
time interval
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
a physical
if
the physical
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 physical
is a
registered
user
of
the web site
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 physical
is a
registered
user
of
the web site
holds
during
the time interval
,
then
the physical
is a
member
of
the collection
and
the collection
is
equal
to
new
registrations
at
the web site
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 3629-3638
If members of
a collection
have
registered
for
a web site
during
a time interval
and
a physical
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 physical
is a
registered
user
of
the web site
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 3640-3650
If members of
a collection
have
registered
for
a web site
during
a time interval
and
a physical
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 physical
is a
registered
user
of
the web site
holds
during
the other time interval
(=>
(
confirmedRegisteredUser
?USER ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 903-905
If
an agent
is
registered
on
a web site
,
then
the agent
is a
registered
user
of
the web site
(=>
(
watchingListings
?USER ?COLL ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1247-1249
If user
an agent
on
a web site
is
watching
a collection
,
then
the agent
is a
registered
user
of
the web site
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