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
ThumbProximalPhalanx
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 17520-17522
(
domain
holdsObligation
1
Formula
)
Merge.kif 17517-17517
有执行义务
的 1 数量 是
公式
的
instance
(
domain
holdsObligation
2
CognitiveAgent
)
Merge.kif 17518-17518
有执行义务
的 2 数量 是
有认知的主事
的
instance
(
instance
holdsObligation
AsymmetricRelation
)
Merge.kif 17516-17516
有执行义务
是
非对称关系
的
instance
(
instance
holdsObligation
BinaryPredicate
)
Merge.kif 17515-17515
有执行义务
是
二元谓语
的
instance
(
relatedInternalConcept
holdsObligation
holdsRight
)
Merge.kif 17519-17519
有执行义务
和
有权利
是 内部相关
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 678-683
如果
时点
是
协议
的
agreement
生效日期 和
那个 协议
要求
有认知的主事
执行
公式
的任务 和
时间位置
是
那个 时点
的
instance
,
然后
那个 有认知的主事
有义务执行
那个 公式
的任务 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
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
如果
金融账户
对于
时间位置
到期的
amount
货币测量
和
有认知的主事
持有
account
那个 金融账户
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
购买
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
施事体
为了
那个 安全
asks
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
出售
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
施事体
bids
另一个 实数
那个 测量单位
對於
那个 安全
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
和
经纪人
是
协议
的
attribute
和
那个 协议
是
那个 金融交易
的
party
协议 和
那个 金融交易
是 對於
安全
的
order
另一个 有点 金融交易
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
金融账户
是
信用账户
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
实数
是
那个 金融账户
的
principal
总额 和
时距
是
那个 金融账户
的
agreement
週期 和
那个 金融账户
是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
贷款
是
贷款
的
instance
和
那个 贷款
是
有认知的主事
的
borrower
和
实数
是
那个 贷款
的
principal
总额 和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
过程
是
流血的
的
instance
和
实体
是
死亡
的
instance
和
公式
是
人类
的
instance
和
施事体
是
人类
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 公式
在
那个 施事体
的
近
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
连接
的
instance
和
那个 公式
是
那个 另外 实体
的
agent
和
那个 另外 实体
在
那个 施事体
结束 有义务执行
那个 公式
的任务
(=>
(
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 738-747
如果
命题
是
地缘政治区域
的
constitution
的
instance
和
那个 地缘政治区域
是
国家
的
instance
和
政府
equal
那个 地缘政治区域
的
Government
和
那个 政府
出现 的
time
是
有点 时间位置
的
instance
和
有点 时间位置
是
那个 命题
的
agreement
生效其间 和
另一个 命题
是
那个 命题
的
subProposition
和
公式
contains
那个 另外 命题
的资料,
然后
那个 政府
有义务执行
那个 公式
的任务
(=>
(
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
如果
贷款
是
气球贷款
的
instance
和
日
是
那个 贷款
的
maturity
日期 和
货币测量
是
那个 贷款
的
total
存款 和
那个 贷款
是
有认知的主事
的
borrower
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
贷款
是
可赎回贷款
的
instance
和
有认知的主事
lends
那个 贷款
和
那个 贷款
是
另一个 有认知的主事
的
borrower
和
货币测量
是
那个 贷款
的
total
存款 和
过程
是
呼叫
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 贷款
是
那个 过程
的
patient
,
然后
那个 另外 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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 8553-8563
如果
机构
是
安全部门
的
instance
和
那个 机构
是
另一个 机构
Organization
的一部分,
然后
那个 机构
有义务执行 有存在
实体
这样
那个 实体
是
维护
的
instance
和
那个 机构
是
那个 实体
的
agent
和
那个 另外 机构
是
那个 实体
的
patient
的任务
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
confersObligation
?FORMULA ?AGENT1 ?AGENT2)
(
holdsObligation
?FORMULA ?AGENT2))
Merge.kif 17534-17536
如果
实体
要求
有认知的主事
执行
公式
的任务,
然后
那个 有认知的主事
有义务执行
那个 公式
的任务
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