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
confersObligation
Sigma KEE - confersObligation
confersObligation
appearance as argument number 1
(
documentation
confersObligation
ChineseLanguage
"这是用来表达
Formula
、
Entity
和
CognitiveAgent
三者之间的一种关系,那就是
Entity
要求
CognitiveAgent
去实现
Formula
所指的。")
chinese_format.kif 3900-3902
(
documentation
confersObligation
EnglishLanguage
"Expresses the relationship between a a
Formula
, an
Entity
, and a
CognitiveAgent
when the
Entity
obligates the
CognitiveAgent
to bring it about that the
Formula
is true.")
Merge.kif 17458-17461
(
domain
confersObligation
1
Formula
)
Merge.kif 17454-17454
授予执行任务
的 1 数量 是
公式
的
instance
(
domain
confersObligation
2
Entity
)
Merge.kif 17455-17455
授予执行任务
的 2 数量 是
实体
的
instance
(
domain
confersObligation
3
CognitiveAgent
)
Merge.kif 17456-17456
授予执行任务
的 3 数量 是
有认知的主事
的
instance
(
instance
confersObligation
TernaryPredicate
)
Merge.kif 17453-17453
授予执行任务
是
三元谓语
的
instance
(
relatedInternalConcept
confersObligation
confersRight
)
Merge.kif 17457-17457
授予执行任务
和
赋予权利
是 内部相关
appearance as argument number 2
(
format
ChineseLanguage
confersObligation
"%2 %n{doesn't} 要求 %3 执行 %1 的任务")
chinese_format.kif 201-201
(
format
EnglishLanguage
confersObligation
"%2 %n{doesn't} obligate%p{s} %3 to perform task of the type %1")
english_format.kif 202-202
(
format
FrenchLanguage
confersObligation
"%2 %n{n'} oblige %n{pas} %3 � ex�cut� des t�ches du type %1")
french_format.kif 120-120
(
format
ItalianLanguage
confersObligation
"%2 obbliga %3 a compiere il compito di tipo %1")
relations-it.txt 50-50
(
format
JapaneseLanguage
confersObligation
"%2 は %3 にタイプ %1 のタスクを実行する obligate%p{s} %n{ない}")
japanese_format.kif 1949-1949
(
format
PortugueseLanguage
confersObligation
"%2 %n{nao} obriga %n %3 a executar tarefas de tipo %1")
portuguese_format.kif 72-72
(
format
de
confersObligation
"%2 zwingt %3, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}")
relations-de.txt 258-258
(
format
hi
confersObligation
"%2 %3 ko %1 ke prakaara kaa kaama karane ke liye vachanavaddha karataa hai")
relations-hindi.txt 91-91
(
format
ro
confersObligation
"%2 %n{nu-l} obligate%t{obligã} pe %3 sã execute sarcina de tipul %1")
relations-ro.kif 139-139
(
format
sv
confersObligation
"%2 förpliktar %n{inte} %3 till att utföra uppgift av typen %1")
relations-sv.txt 125-125
(
format
tg
confersObligation
"%2 nauubliga %3 gumawa ang gawain ng ang klase %1")
relations-cb.txt 84-84
(
termFormat
ChineseLanguage
confersObligation
"授予义务")
domainEnglishFormat.kif 16584-16584
(
termFormat
ChineseLanguage
confersObligation
"授予执行任务")
chinese_format.kif 202-202
(
termFormat
ChineseTraditionalLanguage
confersObligation
"授予義務")
domainEnglishFormat.kif 16583-16583
(
termFormat
EnglishLanguage
confersObligation
"confers obligation")
domainEnglishFormat.kif 16582-16582
(
termFormat
de
confersObligation
"konferiertVerpflichtung")
terms-de.txt 82-82
(
termFormat
tg
confersObligation
"nakikipaghirap nauubliga")
relations-tg.txt 117-117
antecedent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
如果
时点
是
协议
的
agreement
生效日期 和
那个 协议
要求
有认知的主事
执行
公式
的任务 和
时间位置
是
那个 时点
的
instance
,
然后
那个 有认知的主事
有义务执行
那个 公式
的任务 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 343-345
如果
实体
要求
有认知的主事
执行
公式
的任务,
然后
那个 实体
允许
那个 有认知的主事
执行
那个 公式
的任务
(=>
(
confersObligation
?FORMULA ?AGENT1 ?AGENT2)
(
holdsObligation
?FORMULA ?AGENT2))
Merge.kif 17463-17465
如果
实体
要求
有认知的主事
执行
公式
的任务,
然后
那个 有认知的主事
有义务执行
那个 公式
的任务
consequent
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
,
然后
那个 国家
的
regional
法律 要求
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
and
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
如果
有点 有内用物体
是
联合出版物
的
subclass
和
内容承载物理
是
有点 有内用物体
的
instance
和
那个 内容承载物理
contains
公式
的资料 和
施事体
是
那个 有点 有内用物体
的
authors
,
然后 有存在
机构
这样
那个 机构
是
美军
Organization
的一部分 和
那个 施事体
要求
那个 机构
执行
那个 公式
的任务
(=>
(
contractor
?BUILDING ?CONTRACTOR)
(
exists
(?CONTRACT ?AGENT)
(
and
(
property
?CONTRACT
Contract
)
(
partyToAgreement
?AGENT ?CONTRACT)
(
partyToAgreement
?CONTRACTOR ?CONTRACT)
(
confersObligation
(
exists
(?CONSTRUCT ?BUILDING2)
(
and
(
instance
?CONSTRUCT
Constructing
)
(
agent
?CONSTRUCT ?CONTRACTOR)
(
result
?CONSTRUCT ?BUILDING2)
(
instance
?BUILDING2
StationaryArtifact
))) ?AGENT ?CONTRACTOR))))
Mid-level-ontology.kif 20823-20836
如果
有认知的主事
有
contract
去
build
固定人工制品
,
然后 有存在
协议
和
另一个 有认知的主事
这样
那个 协议
有
合同
的
attribute
和
那个 协议
是
那个 另外 有认知的主事
的
party
协议 和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 有认知的主事
要求
那个 有认知的主事
执行 有存在
实体
和
那个 固定人工制品
2 这样
那个 实体
是
建筑
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 固定人工制品
2 是
那个 实体
的
result
和
那个 固定人工制品
2 是
固定人工制品
的
instance
的任务
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29895-29915
如果
实体
是
PurchaseOrder
的
instance
,
然后 有存在
符号串
,
有认知的主事
,, ,
另一个 有认知的主事
, and 和
另一个 实体
这样
那个 符号串
的唯一识别符号 是
那个 实体
和
那个 有认知的主事
buys
那个 另外 实体
从
那个 另外 有认知的主事
和
那个 有认知的主事
要求
那个 另外 有认知的主事
执行 有存在
第三 实体
这样
那个 实体
出现 的
time
的开始%n在
那个 第三 实体
出现 的
time
的开始
before
发生 和
那个 第三 实体
是
购买
的
instance
和
那个 另外 实体
是
产品
的
instance
和
objectTransferred
那个 第三 实体
and
那个 另外 实体
和
那个 实体
提到
那个 另外 实体
和
那个 有认知的主事
是
那个 第三 实体
的
agent
和
那个 另外 有认知的主事
是
那个 第三 实体
的
patient
的任务
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16525-16531
如果
人类
和
另一个 人类
之间有
legalRelation
,
然后 有存在
实体
和
公式
这样
那个 实体
是
声明
的
instance
和
那个 实体
要求
那个 人类
执行
那个 公式
的任务 和
那个 实体
要求
那个 另外 人类
执行
那个 公式
的任务
(=>
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
confersObligation
(
forall
(?AGENT ?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?POLITY))
Government.kif 1191-1209
如果
强制选举法
是
地缘政治区域
的
regional
法律 的
subProposition
,
然后
那个 地缘政治区域
的
regional
法律 要求
那个 地缘政治区域
执行 对所有
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
如果
那个 实体
是
那个 地缘政治区域
的
citizen
和
那个 另外 实体
年持续时间
是
那个 地缘政治区域
的
suffrage
最小年纪 和
那个 实体
的
age
是
那个 第三 实体
年持续时间
和
那个 第三 实体
是
greaterThanOrEqualTo
那个 另外 实体
和
那个 第四 实体
是
那个 地缘政治区域
的
election
的
instance
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
那个 第四 实体
的
voting
的
instance
和
那个 实体
是
那个 第五 实体
的
agent
的任务
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