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
userDatabase
の数値 1 引数は
Database
の
instance
では %n
(
domain
userDatabase
2
WebSite
)
UXExperimentalTerms.kif 2164-2164
userDatabase
の数値 2 引数は
WebSite
の
instance
では %n
(
instance
userDatabase
BinaryPredicate
)
UXExperimentalTerms.kif 2160-2160
userDatabase
は
2進述語
の
instance
では %n
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
userDatabase
Database
and
WebSite
オブジェクト
コレクション
コレクション
は
コレクション
の
instance
では %n
オブジェクト
は
Database
の
part
では %n
オブジェクト
は
コレクション
を
express
es %n{ない}
物理
物理
は
コレクション
の
member
では %n
物理
は
AutonomousAgent
の
instance
では %n
工程
微粒子オブジェクト
工程
は
AccessingWebPage
の
instance
では %n
微粒子オブジェクト
は
WebPage
の
instance
では %n
Page
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
微粒子オブジェクト
は
WebSite
の
component
では %n
consequent
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
registeredUser
AutonomousAgent
and
WebSite
Database
オブジェクト
userDatabase
Database
and
WebSite
オブジェクト
は
Database
の
part
では %n
オブジェクト
は
AutonomousAgent
を
express
es %n{ない}
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