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
域
協議期限
, 1 and
協議
(
domain
agreementPeriod
2
TimeInterval
)
Mid-level-ontology.kif 14011-14011
域
協議期限
, 2 and
TimeInterval
(
instance
agreementPeriod
BinaryPredicate
)
Mid-level-ontology.kif 14009-14009
例
協議期限
and
BinaryPredicate
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
TimeInterval
是
金融賬戶
的
agreement
週期
飾面
Day
and
TimeInterval
Day
是
金融賬戶
的
maturity
日期
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3920-3926
TimeInterval
例
貸款
and
貸款
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
利益
是
貸款
的
loan
利息
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
TimeInterval
是
協議
的
agreement
週期
TimePoint
是
協議
的
agreement
生效日期
持有期間
time
開始在
TimePoint
並且 持續到
TimeInterval
and
屬性
協議
and
ActiveAgreement
(=>
(
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
attribute
協議
and
FOK訂單
TimeInterval
是
協議
的
agreement
週期
Process
TimeInterval
例
Process
and
填寫訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
Process
TimeInterval
例
Process
and
取消訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
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
attribute
協議
and
GTC訂單
TimeInterval
是
協議
的
agreement
週期
Process
TimeInterval
例
Process
and
填寫訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
Process
TimeInterval
例
Process
and
取消訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
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
attribute
協議
and
國際奧委會訂單
TimeInterval
是
協議
的
agreement
週期
Process
TimeInterval
例
Process
and
填寫訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
Process
TimeInterval
例
Process
and
取消訂單
患者
Process
and
協議
等於
何時
Process
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
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
貸款
是
CognitiveAgent
的
borrower
CognitiveAgent
lends
貸款
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
FinancialTransaction
起源
FinancialTransaction
and
CognitiveAgent
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
CognitiveAgent
(=>
(
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
例
金融賬戶
and
信用賬戶
CognitiveAgent
持有
account
金融賬戶
RealNumber
是
金融賬戶
的
principal
總額
TimeInterval
是
金融賬戶
的
agreement
週期
金融賬戶
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
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
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
RealNumber
是
貸款
的
principal
總額
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
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
例
金融資產
and
零息債券
Day
是
金融資產
的帳號 的
maturity
日期
擁有
金融資產
Holder and
金融資產
測量
RealNumber
and
UnitOfMeasure
是
金融資產
的帳號 的
principal
總額
TimeInterval
是
金融資產
的帳號 的
agreement
週期
金融資產
的帳號 是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
金融資產
Holder
起源
FinancialTransaction
and
金融資產
的帳號
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
例
協議
and
銀行定期貸款
TimeInterval
是
協議
的
agreement
週期
持續時間
TimeInterval
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and 1
(=>
(
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
例
金融賬戶
and
僅利息貸款
TimeInterval
是
金融賬戶
的
agreement
週期
CurrencyMeasure
是
金融賬戶
的
principal
總額
金融賬戶
是 對於 %3 的賺取
interest
金融賬戶
對於
結束
TimeInterval
到期的
amount
CurrencyMeasure
金融賬戶
對於
TimeInterval
到期的
amount
利益
之前
結束
TimeInterval
and
結束
TimeInterval
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
利益
是
貸款
的
loan
金額
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
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
例
Process
and
開戶
Process
是
located
在
金融機構
例
金融機構
and
金融機構
agent
Process
and
CognitiveAgent
等於
何時
Process
and
Process
Time
金融賬戶
金融賬戶
Period
金融賬戶
Period 是
金融賬戶
的
agreement
週期
短暫相遇
Process
Time and
金融賬戶
Period
例
金融賬戶
and
金融賬戶
金融賬戶
是被
金融機構
held
CognitiveAgent
持有
account
金融賬戶
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
例
協議
and
一天的貸款
TimeInterval
是
協議
的
agreement
週期
持續時間
TimeInterval
and
測量
1 and
一天長度
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
屬性
協議
and
傳統的選擇
RealNumber
TimeInterval
TimeInterval
是
協議
的
agreement
週期
持續時間
TimeInterval
and
測量
RealNumber
and
月持續時間
少於
RealNumber
and 39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
屬性
協議
and
傳統的選擇
RealNumber
TimeInterval
TimeInterval
是
協議
的
agreement
週期
持續時間
TimeInterval
and
測量
RealNumber
and
月持續時間
少於
RealNumber
and 9
(=>
(
property
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
屬性
協議
and
一天的訂單
TimeInterval
是
協議
的
agreement
週期
持續時間
TimeInterval
and
測量
1 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