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
O argumento numero 1 de
confersObligation
e' uma
instancia
de
Formula
(
domain
confersObligation
2
Entity
)
Merge.kif 17477-17477
O argumento numero 2 de
confersObligation
e' uma
instancia
de
Entidade
(
domain
confersObligation
3
CognitiveAgent
)
Merge.kif 17478-17478
O argumento numero 3 de
confersObligation
e' uma
instancia
de
Agente Cognitivo
(
instance
confersObligation
TernaryPredicate
)
Merge.kif 17475-17475
confersObligation
e' uma
instancia
de
Predicado Ternario
(
relatedInternalConcept
confersObligation
confersRight
)
Merge.kif 17479-17479
confersObligation
e'
relacionado
internamente por SUMO a
confersRight
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
Ponto no tempo
Agreement
obriga
Agente Cognitivo
a executar tarefas de tipo
Formula
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo
Formula
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 343-345
Entidade
obriga
Agente Cognitivo
a executar tarefas de tipo
Formula
Entidade
autoriza
Agente Cognitivo
a executar tarefas de tipo
Formula
(=>
(
confersObligation
?FORMULA ?AGENT1 ?AGENT2)
(
holdsObligation
?FORMULA ?AGENT2))
Merge.kif 17485-17487
Entidade
obriga
Agente Cognitivo
a executar tarefas de tipo
Formula
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo
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 1211-1231
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
RegionalLawFn
Nacao
obriga
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
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
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
JointPublication
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Formula
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Organizacao
Organizacao
e' uma parte da organizacao
USMilitary
AutonomousAgent
obriga
Organizacao
a executar tarefas de tipo
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 20822-20835
contractor
Artefato Estacionario
and
Agente Cognitivo
Agreement
Agente Cognitivo
Agreement
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Agente Cognitivo
obriga
Agente Cognitivo
a executar tarefas de tipo
Entidade
Artefato Estacionario
Entidade
e' uma
instancia
de
Construcao
Entidade
e' um
agente
de
Agente Cognitivo
Artefato Estacionario
e' o
resultado
de
Entidade
Artefato Estacionario
e' uma
instancia
de
Artefato Estacionario
(=>
(
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
Entidade
e' uma
instancia
de
PurchaseOrder
Sequencia Simbolica
Agente Cognitivo
,
Agente Cognitivo
and
Entidade
o
identificador
unico de
Sequencia Simbolica
e'
Entidade
buys
Agente Cognitivo
,
Agente Cognitivo
and
Entidade
Agente Cognitivo
obriga
Agente Cognitivo
a executar tarefas de tipo
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' uma
instancia
de
Produto
objectTransferred
Entidade
and
Entidade
Entidade
inclui uma
referencia
a
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' um
patient
de
Entidade
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16547-16553
Existe uma
relacao
legal
entre
Humano
e
Humano
Entidade
Formula
Entidade
e' uma
instancia
de
Declarar
Entidade
obriga
Humano
a executar tarefas de tipo
Formula
Entidade
obriga
Humano
a executar tarefas de tipo
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 1191-1209
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
RegionalLawFn
Area Geopolitica
obriga
Area Geopolitica
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' um
cidadao
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Entidade
YearDuration
(s) a
idade
de
Entidade
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Area Geopolitica
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Entidade
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