Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 17211-17214
(
domain
confersObligation
1
Formula
)
Merge.kif 17207-17207
The number 1 argument of
confers obligation
is an
instance
of
formula
(
domain
confersObligation
2
Entity
)
Merge.kif 17208-17208
The number 2 argument of
confers obligation
is an
instance
of
entity
(
domain
confersObligation
3
CognitiveAgent
)
Merge.kif 17209-17209
The number 3 argument of
confers obligation
is an
instance
of
cognitive agent
(
instance
confersObligation
TernaryPredicate
)
Merge.kif 17206-17206
confers obligation
is an
instance
of
ternary predicate
(
relatedInternalConcept
confersObligation
confersRight
)
Merge.kif 17210-17210
confers obligation
is
internally
related to
confers right
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
(
termFormat
ChineseLanguage
confersObligation
"授予义务")
domainEnglishFormat.kif 16575-16575
(
termFormat
ChineseLanguage
confersObligation
"授予执行任务")
chinese_format.kif 202-202
(
termFormat
ChineseTraditionalLanguage
confersObligation
"授予義務")
domainEnglishFormat.kif 16574-16574
(
termFormat
EnglishLanguage
confersObligation
"confers obligation")
domainEnglishFormat.kif 16573-16573
antecedent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 712-717
If
a time point
is an
agreement
effective date of
an agreement
and
the agreement
obligate
s
a cognitive agent
to perform task of the type
a formula
and
a time position
is an
instance
of
the time point
,
then
the cognitive agent
is
obliged
to perform tasks of type
the formula
holds
during
immediately
after
the time position
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 386-388
If
an entity
obligate
s
a cognitive agent
to perform task of the type
a formula
,
then
the entity
allow
s
the cognitive agent
to perform task of the type
the formula
(=>
(
confersObligation
?FORMULA ?AGENT1 ?AGENT2)
(
holdsObligation
?FORMULA ?AGENT2))
Merge.kif 17216-17218
If
an entity
obligate
s
a cognitive agent
to perform task of the type
a formula
,
then
the cognitive agent
is
obliged
to perform tasks of type
the formula
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 1208-1228
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
,
then the
regional
law of
the nation
obligate
s
the human
to perform task of the type for all
an entity
,
another entity
and
a third entity
if
the human
is a
citizen
of
the nation
and
the entity
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
the other entity
year duration
(s) and
the other entity
is
greater
than or equal to
the entity
and
the third entity
is an
instance
of the
election
of
the nation
,
then there exists
a fourth entity
such that
the fourth entity
is an
instance
of the
voting
of
the third entity
and
the human
is an
agent
of
the fourth entity
(=>
(
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
If
a kind of content bearing object
is a
subclass
of
joint publication
and
a content bearing physical
is an
instance
of
a kind of content bearing object
and
the content bearing physical
contain
s information
a formula
and
an agent
is the
author
of
the kind of content bearing object
,
then there exists
an organization
such that
the organization
is a part of the organization
US military
and
the agent
obligate
s
the organization
to perform task of the type
the formula
(=>
(
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 20164-20177
If
a cognitive agent
has a
contract
to
build
a stationary artifact
,
then there exist
an agreement
and
another cognitive agent
such that
the agreement
the
attribute
contract
and
the agreement
is a
party
to agreement of
the other cognitive agent
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other cognitive agent
obligate
s
the cognitive agent
to perform task of the type there exist
an entity
and
the stationary artifact
2 such that
the entity
is an
instance
of
constructing
and
the cognitive agent
is an
agent
of
the entity
and
the stationary artifact
2 is a
result
of
the entity
and
the stationary artifact
2 is an
instance
of
stationary artifact
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER)
(
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 29307-29327
If
an entity
is an
instance
of
PurchaseOrder
,
then there exist
a symbolic string
,
a cognitive agent
and
another cognitive agent
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
another entity
from
the other cognitive agent
and
the cognitive agent
obligate
s
the other cognitive agent
to perform task of the type there exists
a third entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the third entity
and
the third entity
is an
instance
of
buying
and
the other entity
is an
instance
of
product
and the object transferred in
the third entity
is
the other entity
and
the entity
includes a
reference
to
the other entity
and
the cognitive agent
is an
agent
of
the third entity
and
the other cognitive agent
is a
patient
of
the third entity
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16256-16262
If there is a
legal
relation
between
a human
and
another human
,
then there exist
an entity
and
a formula
such that
the entity
is an
instance
of
declaring
and
the entity
obligate
s
the human
to perform task of the type
the formula
and
the entity
obligate
s
the other human
to perform task of the type
the formula
(=>
(
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 1188-1206
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a geopolitical area
,
then the
regional
law of
the geopolitical area
obligate
s
the geopolitical area
to perform task of the type for all
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
if
the entity
is a
citizen
of
the geopolitical area
and
the other entity
year duration
(s) is a
suffrage
age minimum of
the geopolitical area
and the
age
of
the entity
is
the third entity
year duration
(s) and
the third entity
is
greater
than or equal to
the other entity
and
the fourth entity
is an
instance
of the
election
of
the geopolitical area
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of the
voting
of
the fourth entity
and
the entity
is an
agent
of
the fifth entity
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