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
accountHolder
Sigma KEE - accountHolder
accountHolder
appearance as argument number 1
(
documentation
accountHolder
EnglishLanguage
"(
accountHolder
?Account ?Agent) means that ?Agent is the account holder of the
FinancialAccount
?Account.")
FinancialOntology.kif 251-252
(
domain
accountHolder
1
FinancialAccount
)
FinancialOntology.kif 249-249
accountHolder
の数値 1 引数は
FinancialAccount
の
instance
では %n
(
domain
accountHolder
2
CognitiveAgent
)
FinancialOntology.kif 250-250
accountHolder
の数値 2 引数は
認識エージェント
の
instance
では %n
(
instance
accountHolder
BinaryPredicate
)
FinancialOntology.kif 248-248
accountHolder
は
2進述語
の
instance
では %n
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
accountHolder
は
partyToAgreement
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
accountHolder
"%2 持有 account %1 ")
domainEnglishFormat.kif 2682-2682
(
format
ChineseTraditionalLanguage
accountHolder
"%2 持有 account %1 ")
domainEnglishFormat.kif 2681-2681
(
format
EnglishLanguage
accountHolder
"%2 holds account %1")
domainEnglishFormat.kif 2680-2680
(
termFormat
ChineseLanguage
accountHolder
"帐户持有人")
domainEnglishFormat.kif 5250-5250
(
termFormat
ChineseTraditionalLanguage
accountHolder
"帳戶持有人")
domainEnglishFormat.kif 5249-5249
(
termFormat
EnglishLanguage
accountHolder
"account holder")
domainEnglishFormat.kif 5248-5248
antecedent
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Corporation
))
(
instance
?Account
CorporateAccount
))
FinancialOntology.kif 1018-1022
accountHolder
FinancialAccount
and
認識エージェント
認識エージェント
は
法人
の
instance
では %n
FinancialAccount
は
CorporateAccount
の
instance
では %n
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Human
))
(
instance
?Account
PersonalAccount
))
FinancialOntology.kif 996-1000
accountHolder
FinancialAccount
and
認識エージェント
認識エージェント
は
人[人間]
の
instance
では %n
FinancialAccount
は
PersonalAccount
の
instance
では %n
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
エンティティー
は
PersonalAccount
の
instance
では %n
エンティティー
class
の
instances
の数 は 1 より
greater
では %n
エンティティー
は
JointAccount
の
instance
では %n
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
accountHolder
FinancialAccount
and
認識エージェント
accountAt
FinancialAccount
and
FinancialOrganization
customer
認識エージェント
and
FinancialOrganization
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
amountDue
FinancialAccount
,
通貨測定
and
時間位置
accountHolder
FinancialAccount
and
認識エージェント
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountAt
?Account ?Organization)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Agent)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Organization))))
FinancialOntology.kif 1212-1222
FinancialAccount
は
CreditAccount
の
instance
では %n
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
認識エージェント
interestEarned
FinancialAccount
,
Interest
and
時間間隔
金融取引
金融取引
は
認識エージェント
から
originate
s %n{ない}
transactionAmount
金融取引
and
Interest
金融取引
は
FinancialOrganization
に
end
s %n{ない}
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
FinancialAccount
は
CreditAccount
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
principalAmount
FinancialAccount
and
実数
agreementPeriod
FinancialAccount
and
時間間隔
interestEarned
FinancialAccount
,
Interest
and
時間間隔
実数
は (
実数
+
Interest
) と
equal
では %n
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1162-1171
FinancialAccount
は
LiabilityAccount
の
instance
では %n
accountHolder
FinancialAccount
and
Agreement
accountAt
FinancialAccount
and
Agreement
認識エージェント
認識エージェント
には
attribute
Liability
%n{ない}
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Agent))))
FinancialOntology.kif 1043-1052
FinancialAccount
は
SavingsAccount
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
interestEarned
FinancialAccount
,
Interest
and
時間間隔
金融取引
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
Interest
金融取引
は
認識エージェント
に
end
s %n{ない}
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
FinancialAccount
は
PensionPlan
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
FinancialCompany
は
認識エージェント
を
employ
s %n{ない}
financialAccount
FinancialAccount
and
FinancialCompany
(=>
(
and
(
instance
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
FinancialAccount
は
ProfitSharingPlan
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
profit
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
実数
実数
AY
実数
AY は
金融取引
の
instance
では %n
transactionAmount
実数
AY and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
実数
AY は
FinancialAccount
に
end
s %n{ない}
(=>
(
and
(
instance
?Using
UsingAnAccount
)
(
patient
?Using ?Account)
(
accountHolder
?Account ?Agent))
(
agent
?Using ?Agent))
FinancialOntology.kif 311-316
工程
は
UsingAnAccount
の
instance
では %n
FinancialAccount
は
工程
の
patient
では %n
accountHolder
FinancialAccount
and
認識エージェント
認識エージェント
は
工程
の
agent
では %n
consequent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
FinancialAccount
は
FinancialAccount
の
instance
では %n
認識エージェント
は
FinancialAsset
を
possess
es %n{ない}
FinancialAccount
は
AccountFn
FinancialAsset
と
equal
では %n
accountHolder
FinancialAccount
and
認識エージェント
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
BankCard
は
CreditCard
の
instance
では %n
認識エージェント
は
BankCard
を
possess
es %n{ない}
FinancialAccount
FinancialAccount
は
CreditCardAccount
の
instance
では %n
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
認識エージェント
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
BankCard
は
DebitCard
の
instance
では %n
認識エージェント
は
BankCard
を
possess
es %n{ない}
FinancialAccount
FinancialAccount
は
DepositAccount
の
instance
では %n
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
認識エージェント
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
agent
?Drawing ?Agent)
(
checkAccount
?Check ?Account))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 321-327
工程
は
DrawingACheck
の
instance
では %n
Check
は
工程
の
patient
では %n
認識エージェント
は
工程
の
agent
では %n
checkAccount
Check
and
FinancialAccount
accountHolder
FinancialAccount
and
認識エージェント
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
工程
は
OpeningAnAccount
の
instance
では %n
eventLocated
工程
and
FinancialOrganization
FinancialOrganization
は
FinancialOrganization
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
工程
Time は
FinancialAccount
Period に
meet
s %n{ない}
FinancialAccount
は
FinancialAccount
の
instance
では %n
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
認識エージェント
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