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 数量 是
施事体
的
instance
(
domain
registeredUser
2
WebSite
)
UXExperimentalTerms.kif 856-856
registeredUser
的 2 数量 是
WebSite
的
instance
(
instance
registeredUser
BinaryPredicate
)
UXExperimentalTerms.kif 852-852
registeredUser
是
二元谓语
的
instance
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
如果
躯体性物体
是
DigitalPost
的
instance
和
施事体
是
施事体
的
instance
和
WebSite
是
WebSite
的
instance
和
那个 躯体性物体
是
那个 WebSite
的
component
和
那个 施事体
created
那个 躯体性物体
和
那个 施事体
是
那个 WebSite
的
registered
user
,
然后
那个 躯体性物体
的 目的 是 有存在
实体
这样
那个 实体
是
传播
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 躯体性物体
是
那个 实体
的
patient
和
那个 WebSite
是导致
那个 实体
的
instrument
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
如果
施事体
是
WebSite
的
registered
user
,
然后 有存在
用户帐号
这样
那个 用户帐号
是
用户帐号
的
instance
和
那个 施事体
有
account
那个 用户帐号
和
那个 用户帐号
是在
那个 WebSite
的
account
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
如果
施事体
是
WebSite
的
registered
user
,
然后 有存在
数据库
和
客体
这样
那个 数据库
是
user
database
对于
那个 WebSite
和
那个 客体
是
那个 数据库
的
part
和
那个 客体
表达
那个 施事体
consequent
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
如果
用户帐号
是在
WebSite
的
account
和
施事体
有
account
那个 用户帐号
,
然后
那个 施事体
是
那个 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
如果
时距
是
时距
的
instance
和
WebSite
是
WebSite
的
instance
,
然后 有存在
群体
这样
那个 群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
人类
的
instance
和 不存在
那个 时距
_BEFORE 这样
那个 时距
_BEFORE 是
时距
的
instance
和
那个 时距
_BEFORE 比
那个 时距
发生的
earlier
和
那个 物理
是
那个 WebSite
的
registered
user
在
那个 时距
_BEFORE
holdsDuring
和 有存在
那个 时距
_DURING 这样
那个 时距
_DURING 是
时距
的
instance
和
那个 时距
_DURING 在
那个 时距
时段内发生 和
那个 物理
是
那个 WebSite
的
registered
user
在
那个 时距
holdsDuring
,
然后
那个 物理
是
那个 群体
的
member
和
那个 群体
equal
new
registrations
在
那个 WebSite
期间
那个 时距
(=>
(
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
如果
群体
的成员有
registered
对于
WebSite
在期间
时距
和
物理
是
那个 群体
的
member
,
然后 有存在
另一个 时距
这样
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
在
那个 时距
时段内发生 和
那个 物理
是
那个 WebSite
的
registered
user
在
那个 另外 时距
holdsDuring
(=>
(
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
如果
群体
的成员有
registered
对于
WebSite
在期间
时距
和
物理
是
那个 群体
的
member
,
然后 不存在
另一个 时距
这样
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 物理
是
那个 WebSite
的
registered
user
在
那个 另外 时距
holdsDuring
(=>
(
confirmedRegisteredUser
?USER ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 903-905
如果
施事体
是
registered
在
WebSite
,
然后
那个 施事体
是
那个 WebSite
的
registered
user
(=>
(
watchingListings
?USER ?COLL ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1247-1249
如果 使用者
施事体
在
WebSite
是
watching
群体
,
然后
那个 施事体
是
那个 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