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 and
用戶帳號
(
domain
accountAtSite
2
WebSite
)
UXExperimentalTerms.kif 627-627
域
accountAtSite
, 2 and
WebSite
(
instance
accountAtSite
BinaryPredicate
)
UXExperimentalTerms.kif 624-624
例
accountAtSite
and
BinaryPredicate
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
Object
WebSite
_OWNER
例
Object
and
數據庫
例
WebSite
_OWNER and
AutonomousAgent
擁有
WebSite
_OWNER and
WebSite
擁有
WebSite
_OWNER and
Object
部分
用戶帳號
and
Object
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
用戶帳號
是在
WebSite
的
account
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
是
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
例
Process
and
LoggingIn
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
等於
TimeInterval
and
眼前的未來
何時
Process
agent
Process
and
AutonomousAgent
模態屬性
持有期間
TimeInterval
and
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
患者
entity
and
WebSite
and
可能性
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
例
Object
and
FinancialTransaction
attribute
Object
and
BusinessToBusiness
用戶帳號
用戶帳號
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
例
用戶帳號
and
用戶帳號
例
用戶帳號
and
用戶帳號
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
目的地
Object
and
AutonomousAgent
儀器
Object
and
WebSite
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
用戶帳號
是在
WebSite
的
account
attribute
用戶帳號
and
BusinessAccount
attribute
用戶帳號
and
BusinessAccount
(=>
(
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
例
Object
and
FinancialTransaction
attribute
Object
and
BusinessToConsumer
用戶帳號
用戶帳號
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
例
用戶帳號
and
用戶帳號
例
用戶帳號
and
用戶帳號
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
目的地
Object
and
AutonomousAgent
儀器
Object
and
WebSite
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
用戶帳號
是在
WebSite
的
account
attribute
用戶帳號
and
BusinessAccount
attribute
用戶帳號
and
ConsumerAccount
(=>
(
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
例
Object
and
FinancialTransaction
attribute
Object
and
ConsumerToConsumer
用戶帳號
用戶帳號
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
例
用戶帳號
and
用戶帳號
例
用戶帳號
and
用戶帳號
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
agent
Object
and
AutonomousAgent
目的地
Object
and
AutonomousAgent
儀器
Object
and
WebSite
AutonomousAgent
有
account
用戶帳號
AutonomousAgent
有
account
用戶帳號
用戶帳號
是在
WebSite
的
account
用戶帳號
是在
WebSite
的
account
attribute
用戶帳號
and
ConsumerAccount
attribute
用戶帳號
and
ConsumerAccount
(=>
(
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
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