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
agreementPeriod
Sigma KEE - agreementPeriod
agreementPeriod
appearance as argument number 1
(
documentation
agreementPeriod
EnglishLanguage
"(
agreementPeriod
?AGREEMENT ?DURATION) holds if ?DURATION specifies a
TimeDuration
, which is the length of time that the ?AGREEMENT is
ActiveAgreement
.")
Mid-level-ontology.kif 14012-14014
(
domain
agreementPeriod
1
Agreement
)
Mid-level-ontology.kif 14010-14010
agreementPeriod
の数値 1 引数は
Agreement
の
instance
では %n
(
domain
agreementPeriod
2
TimeInterval
)
Mid-level-ontology.kif 14011-14011
agreementPeriod
の数値 2 引数は
時間間隔
の
instance
では %n
(
instance
agreementPeriod
BinaryPredicate
)
Mid-level-ontology.kif 14009-14009
agreementPeriod
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
agreementPeriod
"%2 是 %1 的 agreement 週期")
domainEnglishFormat.kif 96-96
(
format
ChineseTraditionalLanguage
agreementPeriod
"%2 是 %1 的 agreement 週期")
domainEnglishFormat.kif 95-95
(
format
EnglishLanguage
agreementPeriod
"%2 is %n an agreement period of %1")
domainEnglishFormat.kif 94-94
(
termFormat
ChineseLanguage
agreementPeriod
"协议期限")
domainEnglishFormat.kif 5922-5922
(
termFormat
ChineseTraditionalLanguage
agreementPeriod
"協議期限")
domainEnglishFormat.kif 5921-5921
(
termFormat
EnglishLanguage
agreementPeriod
"agreement period")
domainEnglishFormat.kif 5920-5920
antecedent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
agreementPeriod
FinancialAccount
and
時間間隔
日
は
時間間隔
を
finish
es %n{ない}
maturityDate
FinancialAccount
and
日
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3920-3926
時間間隔
Loan
は
Loan
の
instance
では %n
agreementPeriod
Loan
and
時間間隔
interestEarned
Loan
,
Interest
and
時間間隔
loanInterest
Loan
and
Interest
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
agreementPeriod
Agreement
and
時間間隔
agreementEffectiveDate
Agreement
and
時点
Agreement
には
attribute
ActiveAgreement
%n{ない} は
TimePeriodFn
時点
and
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
FOKOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
GTCOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
と
overlap
s %n{dない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
IOCOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Borrower)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Lender))))
FinancialOntology.kif 1261-1271
borrower
Loan
and
認識エージェント
lender
Loan
and
認識エージェント
agreementPeriod
Loan
and
時間間隔
interestEarned
Loan
,
Interest
and
時間間隔
金融取引
金融取引
は
認識エージェント
から
originate
s %n{ない}
transactionAmount
金融取引
and
Interest
金融取引
は
認識エージェント
に
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
Loan
)
(
borrower
?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 1273-1282
Loan
は
Loan
の
instance
では %n
borrower
Loan
and
認識エージェント
principalAmount
Loan
and
実数
agreementPeriod
Loan
and
時間間隔
interestEarned
Loan
,
Interest
and
時間間隔
実数
は (
実数
+
Interest
) と
equal
では %n
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
FinancialAsset
は
ZeroCouponBond
の
instance
では %n
maturityDate
AccountFn
FinancialAsset
and
日
FinancialAsset
Holder は
FinancialAsset
を
possess
es %n{ない}
principalAmount
AccountFn
FinancialAsset
and
実数
の
測定単位
(s)
agreementPeriod
AccountFn
FinancialAsset
and
時間間隔
interestEarned
AccountFn
FinancialAsset
,
実数
の
測定単位
(s) and
時間間隔
実数
は (
実数
+
実数
) と
equal
では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
FinancialAsset
Holder に
end
s %n{ない}
金融取引
は
AccountFn
FinancialAsset
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Agreement
は
BankTermLoan
の
instance
では %n
agreementPeriod
Agreement
and
時間間隔
時間間隔
の
duration
は
実数
の
YearDuration
(s) では %n
実数
は 1
greater
では %n
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1615-1624
FinancialAccount
は
InterestOnlyLoan
の
instance
では %n
agreementPeriod
FinancialAccount
and
時間間隔
principalAmount
FinancialAccount
and
通貨測定
interestEarned
FinancialAccount
,
Interest
and
時間間隔
amountDue
FinancialAccount
,
通貨測定
and
時間間隔
の
end
amountDue
FinancialAccount
,
Interest
and
時間間隔
時間間隔
の
end
は
時間間隔
の
end
の
before
に happens %n{ない}
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
loanFeeAmount
Loan
and
Interest
agreementPeriod
Loan
and
時間間隔
interestEarned
Loan
,
Interest
and
時間間隔
consequent
(=>
(
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
認識エージェント
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
Agreement
は
DayLoan
の
instance
では %n
agreementPeriod
Agreement
and
時間間隔
時間間隔
の
duration
は 1 の
DayDuration
(s) では %n
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
Agreement
には
attribute
ConventionalOption
%n{ない}
実数
時間間隔
agreementPeriod
Agreement
and
時間間隔
時間間隔
の
duration
は
実数
の
MonthDuration
(s) では %n
実数
は 39 より
less
では %n
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
Agreement
には
attribute
ConventionalOption
%n{ない}
実数
時間間隔
agreementPeriod
Agreement
and
時間間隔
時間間隔
の
duration
は
実数
の
MonthDuration
(s) では %n
実数
は 9 より
less
では %n
(=>
(
property
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
Agreement
には
attribute
DayOrder
%n{ない}
agreementPeriod
Agreement
and
時間間隔
時間間隔
の
duration
は 1 の
DayDuration
(s) では %n
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