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
Die Zahl 1 Argument von
userDatabase
ist ein
fall
von
Database
%n{nicht}
(
domain
userDatabase
2
WebSite
)
UXExperimentalTerms.kif 2164-2164
Die Zahl 2 Argument von
userDatabase
ist ein
fall
von
WebSite
%n{nicht}
(
instance
userDatabase
BinaryPredicate
)
UXExperimentalTerms.kif 2160-2160
userDatabase
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
userDatabase
Database
and
WebSite
,
dann es gibt
Object
und
Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
** Object
ist ein
teil
von
** Database
%n{nicht} und
** Object
drueckt
** Collection
aus und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
AutonomousAgent
%n{nicht} und es gibt
Process
und
CorpuscularObject
um
** Process
ist ein
fall
von
AccessingWebPage
%n{nicht} und
** CorpuscularObject
ist ein
fall
von
WebPage
%n{nicht} und
Page
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** CorpuscularObject
ist ein
bestandteil
von
** WebSite
%n{nicht}
consequent
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
Wenn
registeredUser
AutonomousAgent
and
WebSite
,
dann es gibt
Database
und
Object
um
userDatabase
** Database
and
** WebSite
und
** Object
ist ein
teil
von
** Database
%n{nicht} und
** Object
drueckt
** AutonomousAgent
aus
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