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
confersObligation
の数値 1 引数は
公式
の
instance
では %n
(
domain
confersObligation
2
Entity
)
Merge.kif 17455-17455
confersObligation
の数値 2 引数は
エンティティー
の
instance
では %n
(
domain
confersObligation
3
CognitiveAgent
)
Merge.kif 17456-17456
confersObligation
の数値 3 引数は
認識エージェント
の
instance
では %n
(
instance
confersObligation
TernaryPredicate
)
Merge.kif 17453-17453
confersObligation
は
3進述語
の
instance
では %n
(
relatedInternalConcept
confersObligation
confersRight
)
Merge.kif 17457-17457
confersObligation
は
confersRight
に
internally
関連して %n
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
agreementEffectiveDate
Agreement
and
時点
Agreement
は
認識エージェント
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
時間位置
は
時点
の
instance
では %n
認識エージェント
はタイプ
公式
のタスクを実行する
obliged
%n は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 343-345
エンティティー
は
認識エージェント
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
エンティティー
は
認識エージェント
が
公式
のタスクを実行することはを
allow
s %n{ない}
(=>
(
confersObligation
?FORMULA ?AGENT1 ?AGENT2)
(
holdsObligation
?FORMULA ?AGENT2))
Merge.kif 17463-17465
エンティティー
は
認識エージェント
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
認識エージェント
はタイプ
公式
のタスクを実行する
obliged
%n
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
CompulsorySuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
RegionalLawFn
国民
は
人[人間]
にタイプ
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
(=>
(
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
コンテンツベアリングオブジェクト
は
JointPublication
の
subclass
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
公式
の情報を
contain
s %n{ない}
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
組織
組織
は組織
USMilitary
の一部では %n
AutonomousAgent
は
組織
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
(=>
(
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
contractor
固定アーチファクト
and
認識エージェント
Agreement
認識エージェント
Agreement
には
attribute
Contract
%n{ない}
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
認識エージェント
は
認識エージェント
にタイプ
エンティティー
固定アーチファクト
エンティティー
は
構築
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
固定アーチファクト
は
エンティティー
の
result
では %n
固定アーチファクト
は
固定アーチファクト
の
instance
では %n のタスクを実行する
obligate
s %n{ない}
(=>
(
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
では %n
記号文字列
認識エージェント
,
認識エージェント
and
エンティティー
記号文字列
の
unique
の識別子は
エンティティー
では %n
buys
認識エージェント
,
認識エージェント
and
エンティティー
認識エージェント
は
認識エージェント
にタイプ
エンティティー
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない}
エンティティー
は
購買
の
instance
では %n
エンティティー
は
製品
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
への
reference
を includes %n{ない}
認識エージェント
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n のタスクを実行する
obligate
s %n{ない}
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16525-16531
人[人間]
と
人[人間]
間での
legal
relation
は %n
エンティティー
公式
エンティティー
は
declaring
の
instance
では %n
エンティティー
は
人[人間]
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
エンティティー
は
人[人間]
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
RegionalLawFn
地政学的地域
は
地政学的地域
にタイプ
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
地政学的地域
% の
citizen
では %n
suffrageAgeMinimum
地政学的地域
and
エンティティー
の
YearDuration
(s)
エンティティー
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
地政学的地域
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
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