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 引数は
UserAccount
の
instance
では %n
(
domain
accountAtSite
2
WebSite
)
UXExperimentalTerms.kif 627-627
accountAtSite
の数値 2 引数は
WebSite
の
instance
では %n
(
instance
accountAtSite
BinaryPredicate
)
UXExperimentalTerms.kif 624-624
accountAtSite
は
2進述語
の
instance
では %n
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
accountAtSite
UserAccount
and
WebSite
オブジェクト
WebSite
_OWNER
オブジェクト
は
Database
の
instance
では %n
WebSite
_OWNER は
AutonomousAgent
の
instance
では %n
WebSite
_OWNER は
WebSite
を
possess
es %n{ない}
WebSite
_OWNER は
オブジェクト
を
possess
es %n{ない}
UserAccount
は
オブジェクト
の
part
では %n
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
accountAtSite
UserAccount
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
registeredUser
AutonomousAgent
and
WebSite
(=>
(
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
では %n
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
時間間隔
は
工程
の
time
の existence の すぐ
after
と
equal
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
WebSite
は
エンティティー
の
patient
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
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
では %n
BusinessToBusiness
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
は
UserAccount
の
attribute
では %n
BusinessAccount
は
UserAccount
の
attribute
では %n
(=>
(
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
では %n
BusinessToConsumer
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
は
UserAccount
の
attribute
では %n
ConsumerAccount
は
UserAccount
の
attribute
では %n
(=>
(
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
では %n
ConsumerToConsumer
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
は
UserAccount
の
attribute
では %n
ConsumerAccount
は
UserAccount
の
attribute
では %n
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
registeredUser
AutonomousAgent
and
WebSite
UserAccount
UserAccount
は
UserAccount
の
instance
では %n
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
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