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 17480-17483
(
domain
confersObligation
1
Formula
)
Merge.kif 17476-17476
Die Zahl 1 Argument von
konferiertVerpflichtung
ist ein
fall
von
Formula
%n{nicht}
(
domain
confersObligation
2
Entity
)
Merge.kif 17477-17477
Die Zahl 2 Argument von
konferiertVerpflichtung
ist ein
fall
von
Entity
%n{nicht}
(
domain
confersObligation
3
CognitiveAgent
)
Merge.kif 17478-17478
Die Zahl 3 Argument von
konferiertVerpflichtung
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
confersObligation
TernaryPredicate
)
Merge.kif 17475-17475
konferiertVerpflichtung
ist ein
fall
von
TernaryPredicate
%n{nicht}
(
relatedInternalConcept
confersObligation
confersRight
)
Merge.kif 17479-17479
konferiertVerpflichtung
ist innerlich verwandt mit
konferiertRecht
%n{nicht}
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
Wenn
agreementEffectiveDate
Agreement
and
TimePoint
und
** Agreement
zwingt
CognitiveAgent
, die Aufgabe der Art von
Formula
durchzuf�hren %n{nicht} und
TimePosition
ist ein
fall
von
** TimePoint
%n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 343-345
Wenn
Entity
zwingt
CognitiveAgent
, die Aufgabe der Art von
Formula
durchzuf�hren %n{nicht},
dann
** Entity
erlaubt
** CognitiveAgent
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
(=>
(
confersObligation
?FORMULA ?AGENT1 ?AGENT2)
(
holdsObligation
?FORMULA ?AGENT2))
Merge.kif 17485-17487
Wenn
Entity
zwingt
CognitiveAgent
, die Aufgabe der Art von
Formula
durchzuf�hren %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
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
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
,
dann
RegionalLawFn
** Nation
zwingt
** Human
, die Aufgabe der Art von fuer alle
entity
,
** entity
, and und
** entity
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** entity
YearDuration
(s) und das
alter
von
** Human
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
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
Wenn
** ContentBearingObject
ist eine
teilkategorie
von
JointPublication
und
ContentBearingPhysical
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
Formula
und
AutonomousAgent
ist der
schreiber
von
** ** ContentBearingObject
,
dann es gibt
Organization
um
subOrganization
** Organization
and
USMilitary
und
** AutonomousAgent
zwingt
** Organization
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
(=>
(
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 20822-20835
Wenn
contractor
StationaryArtifact
and
CognitiveAgent
,
dann es gibt
Agreement
und
** CognitiveAgent
um
** Agreement
hat ein
attribut
Contract
%n{nicht} und
partyToAgreement
** ** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
** ** CognitiveAgent
zwingt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
und
** StationaryArtifact
um
** entity
ist ein
fall
von
Constructing
%n{nicht} und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** StationaryArtifact
ist ein
resultat
von
** entity
%n{nicht} und
** StationaryArtifact
ist ein
fall
von
StationaryArtifact
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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 29883-29903
Wenn
Entity
ist ein
fall
von
PurchaseOrder
%n{nicht},
dann es gibt
SymbolicString
,
CognitiveAgent
,, ,
** CognitiveAgent
, and und
** Entity
um der
einzigartige
bezeichner von
** SymbolicString
ist
** Entity
und
buys
** CognitiveAgent
,
** ** CognitiveAgent
and
** ** Entity
und
** CognitiveAgent
zwingt
** ** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um der
anfang
von die
zeit
des Bestehens von
** Entity
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Buying
%n{nicht} und
** ** Entity
ist ein
fall
von
Product
%n{nicht} und
objectTransferred
** ** entity
and
** ** Entity
und
** Entity
umfasst einen
hinweis
auf
** ** Entity
und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** CognitiveAgent
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16547-16553
Wenn
legalRelation
Human
and
** Human
,
dann es gibt
Entity
und
Formula
um
** Entity
ist ein
fall
von
Declaring
%n{nicht} und
** Entity
zwingt
** Human
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht} und
** Entity
zwingt
** ** Human
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
(=>
(
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
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
GeopoliticalArea
%n{nicht},
dann
RegionalLawFn
** GeopoliticalArea
zwingt
** GeopoliticalArea
, die Aufgabe der Art von fuer alle
entity
,
** entity
,, ,
** entity
, and und
** entity
wenn
** entity
ist der
buerger
von
** GeopoliticalArea
und
suffrageAgeMinimum
** GeopoliticalArea
and
** ** entity
YearDuration
(s) und das
alter
von
** entity
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** GeopoliticalArea
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht}
durchzuf�hren %n{nicht}
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