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
域
registeredUser
, 1 and
AutonomousAgent
(
domain
registeredUser
2
WebSite
)
UXExperimentalTerms.kif 856-856
域
registeredUser
, 2 and
WebSite
(
instance
registeredUser
BinaryPredicate
)
UXExperimentalTerms.kif 852-852
例
registeredUser
and
BinaryPredicate
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
例
CorpuscularObject
and
DigitalPost
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
零件
CorpuscularObject
and
WebSite
AutonomousAgent
created
CorpuscularObject
AutonomousAgent
是
WebSite
的
registered
user
有目的
CorpuscularObject
and
entity
例
entity
and
Disseminating
agent
entity
and
AutonomousAgent
患者
entity
and
CorpuscularObject
儀器
entity
and
WebSite
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
AutonomousAgent
是
WebSite
的
registered
user
用戶帳號
例
用戶帳號
and
用戶帳號
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
AutonomousAgent
是
WebSite
的
registered
user
數據庫
Object
數據庫
是
user
database
對於
WebSite
部分
Object
and
數據庫
代表
Object
and
AutonomousAgent
consequent
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
用戶帳號
是在
WebSite
的
account
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
是
WebSite
的
registered
user
(=>
(
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
例
TimeInterval
and
TimeInterval
例
WebSite
and
WebSite
Collection
例
Collection
and
Collection
Physical
例
Physical
and
Human
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
TimeInterval
早期
TimeInterval
_BEFORE and
TimeInterval
持有期間
TimeInterval
_BEFORE and
Physical
是
WebSite
的
registered
user
TimeInterval
_DURING
例
TimeInterval
_DURING and
TimeInterval
期間
TimeInterval
_DURING and
TimeInterval
持有期間
TimeInterval
and
Physical
是
WebSite
的
registered
user
會員
Physical
and
Collection
等於
Collection
and
new
registrations
在
WebSite
期間
TimeInterval
(=>
(
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
Collection
的成員有
registered
對於
WebSite
在期間
TimeInterval
會員
Physical
and
Collection
TimeInterval
例
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
Physical
是
WebSite
的
registered
user
(=>
(
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
Collection
的成員有
registered
對於
WebSite
在期間
TimeInterval
會員
Physical
and
Collection
TimeInterval
例
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
Physical
是
WebSite
的
registered
user
(=>
(
confirmedRegisteredUser
?USER ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 903-905
AutonomousAgent
是
registered
在
WebSite
AutonomousAgent
是
WebSite
的
registered
user
(=>
(
watchingListings
?USER ?COLL ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1247-1249
使用者
AutonomousAgent
在
WebSite
是
watching
Collection
AutonomousAgent
是
WebSite
的
registered
user
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