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
Le nombre 1 argument de
accountAtSite
est une
instance
de
UserAccount
(
domain
accountAtSite
2
WebSite
)
UXExperimentalTerms.kif 627-627
Le nombre 2 argument de
accountAtSite
est une
instance
de
WebSite
(
instance
accountAtSite
BinaryPredicate
)
UXExperimentalTerms.kif 624-624
accountAtSite
est une
instance
de
pr�dicat binaire
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
objet
WebSite
_OWNER
objet
est une
instance
de
Database
WebSite
_OWNER est une
instance
de
AutonomousAgent
WebSite
_OWNER
poss
�de
WebSite
WebSite
_OWNER
poss
�de
objet
UserAccount
est une
partie
de
objet
(=>
(
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
Processus
est une
instance
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
interval temporel
est
apr
�s
temps
d'existence de
processus
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
ComputerProcess
entit�
est un
agent
de
AutonomousAgent
WebSite
est un
patient
de
entit�
pendant
interval temporel
a la
force
modale
de
Possibility
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
Objet
est une
instance
de
financial transaction
BusinessToBusiness
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
BusinessAccount
est un
attribut
de
UserAccount
(=>
(
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
Objet
est une
instance
de
financial transaction
BusinessToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
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
Objet
est une
instance
de
financial transaction
ConsumerToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
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
est une
instance
de
UserAccount
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