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
userDatabase
Sigma KEE - userDatabase
userDatabase
appearance as argument number 1
(
documentation
userDatabase
EnglishLanguage
"(userDatabase ?DATABASE ?WEBSITE) relates a
Database
and a
WebSite
, and signifies that ?DATABASE has a
part
which
represents
the
Collection
of users of the ?WEBSITE - i.e.
member
s of this collection are
Agent
s who are
agent
s of an
AccessingWebPage
where the
patient
of the accessing is
component
of ?WebSite.")
UXExperimentalTerms.kif 2166-2169
(
domain
userDatabase
1
Database
)
UXExperimentalTerms.kif 2162-2162
The number 1 argument of
user database
is an
instance
of
database
(
domain
userDatabase
2
WebSite
)
UXExperimentalTerms.kif 2164-2164
The number 2 argument of
user database
is an
instance
of
web site
(
instance
userDatabase
BinaryPredicate
)
UXExperimentalTerms.kif 2160-2160
user database
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
userDatabase
"%1 是 user database 对于 %2 ")
domainEnglishFormat.kif 4886-4886
(
format
ChineseTraditionalLanguage
userDatabase
"%1 是 user database 對於 %2 ")
domainEnglishFormat.kif 4885-4885
(
format
EnglishLanguage
userDatabase
"%1 is the user database for %2")
domainEnglishFormat.kif 4884-4884
(
termFormat
EnglishLanguage
userDatabase
"user database")
UXExperimentalTerms.kif 2171-2171
antecedent
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
If
a database
is the
user
database
for
a web site
,
then there exist
an object
and
a collection
such that
the collection
is an
instance
of
collection
and
the object
is a
part
of
the database
and
the object
express
es
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
and there exist
a process
and
a corpuscular object
such that
the process
is an
instance
of
accessing web page
and
the corpuscular object
is an
instance
of
web page
and
page
is a
patient
of
the process
and
agent
is an
agent
of
the process
and
the corpuscular object
is a
component
of
the web site
consequent
(=>
(
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
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