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
accountAtSite
Sigma KEE - accountAtSite
accountAtSite
appearance as argument number 1
(
documentation
accountAtSite
EnglishLanguage
"(accountAtSite ?ACCT ?SITE) means that the
UserAccount
?ACCT is associate with the
WebSite
?SITE.")
UXExperimentalTerms.kif 629-630
(
domain
accountAtSite
1
UserAccount
)
UXExperimentalTerms.kif 626-626
accountAtSite
的 1 数量 是
用户帐号
的
instance
(
domain
accountAtSite
2
WebSite
)
UXExperimentalTerms.kif 627-627
accountAtSite
的 2 数量 是
WebSite
的
instance
(
instance
accountAtSite
BinaryPredicate
)
UXExperimentalTerms.kif 624-624
accountAtSite
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
accountAtSite
"%1 %n 是在 %2 的 account ")
domainEnglishFormat.kif 2678-2678
(
format
ChineseTraditionalLanguage
accountAtSite
"%1 %n 是在 %2 的 account ")
domainEnglishFormat.kif 2677-2677
(
format
EnglishLanguage
accountAtSite
"%1 is an account at %2")
domainEnglishFormat.kif 2676-2676
(
termFormat
EnglishLanguage
accountAtSite
"account at site")
UXExperimentalTerms.kif 625-625
antecedent
(=>
(
accountAtSite
?ACCT ?SITE)
(
exists
(?DATABASE ?SITE_OWNER)
(
and
(
instance
?DATABASE
Database
)
(
instance
?SITE_OWNER
AutonomousAgent
)
(
possesses
?SITE_OWNER ?SITE)
(
possesses
?SITE_OWNER ?DATABASE)
(
part
?ACCT ?DATABASE))))
UXExperimentalTerms.kif 632-640
如果
用户帐号
是在
WebSite
的
account
,
然后 有存在
客体
和
那个 WebSite
_OWNER 这样
那个 客体
是
数据库
的
instance
和
那个 WebSite
_OWNER 是
施事体
的
instance
和
那个 WebSite
_OWNER
possesses
那个 WebSite
和
那个 WebSite
_OWNER
possesses
那个 客体
和
那个 用户帐号
是
那个 客体
的
part
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
如果
用户帐号
是在
WebSite
的
account
和
施事体
有
account
那个 用户帐号
,
然后
那个 施事体
是
那个 WebSite
的
registered
user
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
如果
过程
是
LoggingIn
的
instance
和
施事体
有
account
用户帐号
和
那个 用户帐号
是在
WebSite
的
account
和
时距
equal
紧接
那个 过程
出现 的
time
after
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 WebSite
是
那个 实体
的
patient
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
consequent
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToBusiness
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
BusinessAccount
))))
UXExperimentalTerms.kif 1727-1746
如果
客体
是
金融交易
的
instance
和
BusinessToBusiness
是
那个 客体
的
attribute
,
然后 有存在
用户帐号
,
另一个 用户帐号
,, ,
施事体
,, ,
另一个 施事体
, and 和
WebSite
这样
那个 用户帐号
是
用户帐号
的
instance
和
那个 另外 用户帐号
是
用户帐号
的
instance
和
那个 施事体
是
施事体
的
instance
和
那个 另外 施事体
是
施事体
的
instance
和
那个 WebSite
是
WebSite
的
instance
和
那个 施事体
是
那个 客体
的
agent
和
那个 客体
在
那个 另外 施事体
结束 和
那个 WebSite
是导致
那个 客体
的
instrument
和
那个 施事体
有
account
那个 用户帐号
和
那个 另外 施事体
有
account
那个 另外 用户帐号
和
那个 用户帐号
是在
那个 WebSite
的
account
和
那个 另外 用户帐号
是在
那个 WebSite
的
account
和
BusinessAccount
是
那个 用户帐号
的
attribute
和
BusinessAccount
是
那个 另外 用户帐号
的
attribute
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1759-1778
如果
客体
是
金融交易
的
instance
和
BusinessToConsumer
是
那个 客体
的
attribute
,
然后 有存在
用户帐号
,
另一个 用户帐号
,, ,
施事体
,, ,
另一个 施事体
, and 和
WebSite
这样
那个 用户帐号
是
用户帐号
的
instance
和
那个 另外 用户帐号
是
用户帐号
的
instance
和
那个 施事体
是
施事体
的
instance
和
那个 另外 施事体
是
施事体
的
instance
和
那个 WebSite
是
WebSite
的
instance
和
那个 施事体
是
那个 客体
的
agent
和
那个 客体
在
那个 另外 施事体
结束 和
那个 WebSite
是导致
那个 客体
的
instrument
和
那个 施事体
有
account
那个 用户帐号
和
那个 另外 施事体
有
account
那个 另外 用户帐号
和
那个 用户帐号
是在
那个 WebSite
的
account
和
那个 另外 用户帐号
是在
那个 WebSite
的
account
和
BusinessAccount
是
那个 用户帐号
的
attribute
和
ConsumerAccount
是
那个 另外 用户帐号
的
attribute
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
ConsumerToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
ConsumerAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1791-1810
如果
客体
是
金融交易
的
instance
和
ConsumerToConsumer
是
那个 客体
的
attribute
,
然后 有存在
用户帐号
,
另一个 用户帐号
,, ,
施事体
,, ,
另一个 施事体
, and 和
WebSite
这样
那个 用户帐号
是
用户帐号
的
instance
和
那个 另外 用户帐号
是
用户帐号
的
instance
和
那个 施事体
是
施事体
的
instance
和
那个 另外 施事体
是
施事体
的
instance
和
那个 WebSite
是
WebSite
的
instance
和
那个 施事体
是
那个 客体
的
agent
和
那个 客体
在
那个 另外 施事体
结束 和
那个 WebSite
是导致
那个 客体
的
instrument
和
那个 施事体
有
account
那个 用户帐号
和
那个 另外 施事体
有
account
那个 另外 用户帐号
和
那个 用户帐号
是在
那个 WebSite
的
account
和
那个 另外 用户帐号
是在
那个 WebSite
的
account
和
ConsumerAccount
是
那个 用户帐号
的
attribute
和
ConsumerAccount
是
那个 另外 用户帐号
的
attribute
(=>
(
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
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