Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
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 16751-16754
(
domain
confersObligation
1
Formula
)
Merge.kif 16747-16747
The number 1 argument of
confers obligation
is an
instance
of
formula
(
domain
confersObligation
2
Entity
)
Merge.kif 16748-16748
The number 2 argument of
confers obligation
is an
instance
of
entity
(
domain
confersObligation
3
CognitiveAgent
)
Merge.kif 16749-16749
The number 3 argument of
confers obligation
is an
instance
of
cognitive agent
(
instance
confersObligation
TernaryPredicate
)
Merge.kif 16746-16746
confers obligation
is an
instance
of
ternary predicate
(
relatedInternalConcept
confersObligation
confersRight
)
Merge.kif 16750-16750
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 205-205
(
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 701-706
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 16756-16758
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
(
instance
?PUB
JointPublication
)
(
containsInformation
?PUB ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-948
If
a kind of content bearing object
is an
instance
of
joint publication
and
a kind of content bearing object
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
(=>
(
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 1197-1217
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
(=>
(
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 19822-19835
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 28954-28974
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 15851-15857
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 1177-1195
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
