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
holdsObligation
Sigma KEE - holdsObligation
holdsObligation
appearance as argument number 1
(
documentation
holdsObligation
ChineseLanguage
"这是用来表达
Formula
和
CognitiveAgent
两者之间的一种关系,那就是
CognitiveAgent
有义务去实现
Formula
所指的。")
chinese_format.kif 3898-3899
(
documentation
holdsObligation
EnglishLanguage
"Expresses a relationship between a
Formula
and a
CognitiveAgent
whereby the
CognitiveAgent
has the obligation to bring it about that the
Formula
is true.")
Merge.kif 17449-17451
(
domain
holdsObligation
1
Formula
)
Merge.kif 17446-17446
域
持有義務
, 1 and
Formula
(
domain
holdsObligation
2
CognitiveAgent
)
Merge.kif 17447-17447
域
持有義務
, 2 and
CognitiveAgent
(
instance
holdsObligation
AsymmetricRelation
)
Merge.kif 17445-17445
例
持有義務
and
AsymmetricRelation
(
instance
holdsObligation
BinaryPredicate
)
Merge.kif 17444-17444
例
持有義務
and
BinaryPredicate
(
relatedInternalConcept
holdsObligation
holdsRight
)
Merge.kif 17448-17448
相關的內部概念
持有義務
and
堅持正確
appearance as argument number 2
(
format
ChineseLanguage
holdsObligation
"%2 %n 有义务执行 %1 的任务")
chinese_format.kif 213-213
(
format
EnglishLanguage
holdsObligation
"%2 is %n obliged to perform tasks of type %1")
english_format.kif 214-214
(
format
FrenchLanguage
holdsObligation
"%2 est %n oblig� d'ex�cut� des t�ches du type %1")
french_format.kif 126-126
(
format
ItalianLanguage
holdsObligation
"%2 è obbligato a compiere il compito di tipo %1")
relations-it.txt 130-130
(
format
JapaneseLanguage
holdsObligation
"%2 はタイプ %1 のタスクを実行する obliged %n")
japanese_format.kif 1955-1955
(
format
PortugueseLanguage
holdsObligation
"%2 e' %n obrigado a executar tarefas de tipo %1")
portuguese_format.kif 78-78
(
format
de
holdsObligation
"%2 wird gezwungen, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}")
relations-de.txt 275-275
(
format
hi
holdsObligation
"%2 %1 ke jaise kaarya karane ke lie baadhya hai")
relations-hindi.txt 170-170
(
format
ro
holdsObligation
"%2 %n{nu} este obliged%t{obligat} sã execute sarcini de tipul %1")
relations-ro.kif 145-145
(
format
sv
holdsObligation
"%2 är %n{inte} skyldig att utföra uppgifter av typen %1")
relations-sv.txt 131-131
(
format
tg
holdsObligation
"%2 ay obligado sa %1")
relations-tg.txt 266-266
(
termFormat
ChineseLanguage
holdsObligation
"持有义务")
domainEnglishFormat.kif 28359-28359
(
termFormat
ChineseLanguage
holdsObligation
"有执行义务")
chinese_format.kif 214-214
(
termFormat
ChineseTraditionalLanguage
holdsObligation
"持有義務")
domainEnglishFormat.kif 28358-28358
(
termFormat
EnglishLanguage
holdsObligation
"holds obligation")
domainEnglishFormat.kif 28357-28357
(
termFormat
de
holdsObligation
"hatVerpflichtung")
terms-de.txt 88-88
(
termFormat
tg
holdsObligation
"may obligado")
relations-tg.txt 267-267
consequent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
TimePoint
是
協議
的
agreement
生效日期
授予義務
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
持有義務
Formula
and
CognitiveAgent
(=>
(
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
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
attribute
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Buying
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
例
UnitOfMeasure
and
UnitOfCurrency
AutonomousAgent
為了
安全
asks
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
AutonomousAgent
and
SymbolicString
ingTime and
協議
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
attribute
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Selling
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
安全
例
UnitOfMeasure
and
UnitOfCurrency
大於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
SymbolicString
ingTime and
AutonomousAgent
and
協議
(=>
(
and
(
attribute
?Order
MarketOrder
)
(
attribute
?Broker
Broker
)
(
partyToAgreement
?Order ?Broker)
(
orderFor
?Order ?TransactionType ?Shares))
(
holdsObligation
(
KappaFn
?Transaction
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares))) ?Broker))
FinancialOntology.kif 1981-1990
attribute
FinancialTransaction
and
市場秩序
attribute
協議
and
經紀人
協議
是
FinancialTransaction
的
party
協議
FinancialTransaction
是 對於
安全
的
order
FinancialTransaction
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
FinancialTransaction
患者
SymbolicString
and
安全
and
協議
(=>
(
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
?B
Bleeding
)
(
instance
?D
Death
)
(
instance
?H
Human
)
(
instance
?P
Human
)
(
experiencer
?B ?P)
(
orientation
?H ?P
Near
)
(
modalAttribute
(
causes
?B ?D)
Likely
))
(
holdsObligation
?H
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
agent
?A ?H)
(
destination
?A ?P)))))
Medicine.kif 44-59
例
Process
and
流血的
例
Entity
and
Death
例
Formula
and
Human
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
方位
Formula
,
AutonomousAgent
and
近
模態屬性
原因
Process
and
Entity
and
容易
持有義務
Formula
and
entity
例
entity
and
Attaching
agent
entity
and
Formula
目的地
entity
and
AutonomousAgent
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
例
Proposition
and
GeopoliticalArea
的
constitution
例
GeopoliticalArea
and
Nation
等於
Government
and
政府
GeopoliticalArea
例
何時
Government
and
TimePosition
TimePosition
是
Proposition
的
agreement
生效其間
次提案
Proposition
and
Proposition
包含信息
Formula
and
Proposition
持有義務
Formula
and
Government
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
例
貸款
and
氣球貸款
Day
是
貸款
的
maturity
日期
CurrencyMeasure
是
貸款
的
total
存款
貸款
是
CognitiveAgent
的
borrower
持有義務
卡帕
SymbolicString
and
日期
SymbolicString
and
Day
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
貸款
的
currency
and
CognitiveAgent
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
例
貸款
and
可贖回貸款
CognitiveAgent
lends
貸款
貸款
是
CognitiveAgent
的
borrower
CurrencyMeasure
是
貸款
的
total
存款
例
Process
and
呼叫
agent
Process
and
CognitiveAgent
患者
Process
and
貸款
持有義務
卡帕
SymbolicString
and
目的地
SymbolicString
and
CognitiveAgent
時間
SymbolicString
and
眼前的未來
何時
Process
CurrencyMeasure
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
and
(
instance
?UNIT
SecurityUnit
)
(
subOrganization
?UNIT ?ORG))
(
holdsObligation
(
exists
(?MAINTAIN)
(
and
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?UNIT)
(
patient
?MAINTAIN ?ORG))) ?UNIT))
Mid-level-ontology.kif 8526-8536
例
Organization
and
安全部門
子組織
Organization
and
Organization
持有義務
entity
例
entity
and
Maintaining
agent
entity
and
Organization
患者
entity
and
Organization
and
Organization
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
entity
and
CognitiveAgent
(=>
(
confersObligation
?FORMULA ?AGENT1 ?AGENT2)
(
holdsObligation
?FORMULA ?AGENT2))
Merge.kif 17463-17465
授予義務
Formula
,
Entity
and
CognitiveAgent
持有義務
Formula
and
CognitiveAgent
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