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
confersNorm
Sigma KEE - confersNorm
confersNorm
appearance as argument number 1
(
documentation
confersNorm
ChineseLanguage
"这个概念表达一个
Formula
、一个
Entity
和一个
ObjectiveNorm
之间的关系:就是这个
Entity
所表示的
Formula
有那个
ObjectiveNorm
。")
chinese_format.kif 2103-2104
(
documentation
confersNorm
EnglishLanguage
"Expresses the relationship between a
Formula
,an
Entity
, and an
ObjectiveNorm
when the
Entity
brings it about that the
Formula
has the
ObjectiveNorm
.")
Merge.kif 3996-3998
(
documentation
confersNorm
JapaneseLanguage
"
Formula
が
ObjectiveNorm
を保持していると
Entity
がもたらすとき、
Formula
、
Entity
、および
ObjectiveNorm
間で関係を表す。")
japanese_format.kif 754-755
(
domain
confersNorm
1
Entity
)
Merge.kif 3992-3992
O argumento numero 1 de
confersNorm
e' uma
instancia
de
Entidade
(
domain
confersNorm
2
Formula
)
Merge.kif 3993-3993
O argumento numero 2 de
confersNorm
e' uma
instancia
de
Formula
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 3994-3994
O argumento numero 3 de
confersNorm
e' uma
instancia
de
Norma Objectiva
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 3991-3991
confersNorm
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4013-4013
deprivesNorm
e
confersNorm
sao
disjuntos
(
format
ChineseLanguage
confersNorm
"%1 %n{不是} confers 规范 %2 对于 %3 ")
domainEnglishFormat.kif 520-520
(
format
ChineseTraditionalLanguage
confersNorm
"%1 %n{不是} confers 規範 %2 對於 %3 ")
domainEnglishFormat.kif 519-519
(
format
EnglishLanguage
confersNorm
"%1 %n{doesn't} confers norm %2 for %3")
domainEnglishFormat.kif 518-518
(
termFormat
ChineseLanguage
confersNorm
"赋予规范")
domainEnglishFormat.kif 16578-16578
(
termFormat
ChineseTraditionalLanguage
confersNorm
"賦予規範")
domainEnglishFormat.kif 16577-16577
(
termFormat
EnglishLanguage
confersNorm
"confers norm")
domainEnglishFormat.kif 16576-16576
antecedent
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
confersNorm
Entidade
,
Formula
and
Obligation
confersNorm
Entidade
,
Formula
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
confersNorm
Entidade
,
Formula
and
Permission
confersNorm
Entidade
,
Formula
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
confersNorm
Entidade
,
Formula
and
Prohibition
confersNorm
Entidade
,
Formula
and
Permission
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4000-4010
confersNorm
Entidade
,
Entidade
and
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
nao %n a
forca
modal
de
Entidade
vale
durante imediatemente
antes
de
Posicao Temporal
o argumento
Entidade
tem a
forca
modal
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
consequent
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18679-18695
Transferencia
e' uma
instancia
de
Bequeathing
Transferencia
e' um
agente
de
AutonomousAgent
Transferencia
termina
em
Entidade
objectTransferred
Transferencia
and
AutonomousAgent
ROP
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Transferencia
AutonomousAgent
possui
AutonomousAgent
ROP
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
confersNorm
AutonomousAgent
,
Entidade
possui
AutonomousAgent
ROP and
Permission
(=>
(
and
(
instance
?L
DriversLicense
)
(
possesses
?A ?L))
(
confersNorm
?L
(
exists
(?D ?V)
(
and
(
instance
?D
Driving
)
(
agent
?D ?A)
(
patient
?D ?V)
(
instance
?V
RoadVehicle
)))
Permission
))
Mid-level-ontology.kif 16882-16893
Objeto
e' uma
instancia
de
DriversLicense
AutonomousAgent
possui
Objeto
confersNorm
Objeto
,
Entidade
Entidade
Entidade
e' uma
instancia
de
Dirigir
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
RoadVehicle
and
Permission
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
Objeto
e' uma
instancia
de
PassCertificate
AutonomousAgent
possui
Objeto
Entidade
confersNorm
Objeto
,
AutonomousAgent
e'
situado
em
Entidade
and
Permission
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16561-16575
Objeto
e' uma
instancia
de
Passport
AutonomousAgent
possui
Objeto
confersNorm
Objeto
,
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Translocation
Entidade
e' um
agente
de
AutonomousAgent
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Nacao
Entidade
e' uma
instancia
de
Nacao
Entidade
e'
igual
a
Entidade
and
Permission
(=>
(
and
(
instance
?POLICY
PetsAllowedPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
confersNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2561-2570
Policy
e' uma
instancia
de
PetsAllowedPolicy
policyLocationCoverage
Policy
and
Objeto
policyOwner
Organizacao
and
Policy
confersNorm
Organizacao
,
Entidade
Entidade
e' uma
instancia
de
DomesticAnimal
Entidade
e'
situado
em
Objeto
and
Permission
(=>
(
and
(
instance
?POLICY
SmokingAllowedPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
confersNorm
?AGENT
(
exists
(?SMOKE)
(
and
(
instance
?SMOKE
Smoking
)
(
located
?SMOKE ?LOC)))
Permission
))
Hotel.kif 2610-2619
Policy
e' uma
instancia
de
SmokingAllowedPolicy
policyLocationCoverage
Policy
and
Objeto
policyOwner
Organizacao
and
Policy
confersNorm
Organizacao
,
Entidade
Entidade
e' uma
instancia
de
Smoking
Entidade
e'
situado
em
Objeto
and
Permission
(=>
(
and
(
instance
?S
SeizingProperty
)
(
destination
?S ?A)
(
origin
?S ?V)
(
instance
?V
CognitiveAgent
))
(
and
(
instance
?A
Government
)
(
not
(
confersNorm
?V
(
destination
?S ?A)
Permission
))))
Mid-level-ontology.kif 18701-18712
Processo
e' uma
instancia
de
SeizingProperty
Processo
termina
em
Entidade
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Governo
confersNorm
Objeto
,
Processo
nao %n
termina
%n em
Entidade
and
Permission
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
e' uma
instancia
de
Ticket
AutonomousAgent
possui
Objeto
issuedBy
AutonomousAgent
and
Agente Cognitivo
AmusementGamblingAndRecreationIndustries
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e'
situado
em
Objeto
confersNorm
Agente Cognitivo
,
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Objeto
experimenta
Entidade
eventLocated
Entidade
and
Objeto
and
Permission
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
issuedBy
Certificado
and
Agente Cognitivo
Certificado
e' uma
instancia
de
Ticket
AutonomousAgent
possui
Certificado
confersNorm
Agente Cognitivo
,
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Agente Cognitivo
AutonomousAgent
experimenta
Entidade
vale
durante
Entidade
and
Permission
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
confersNorm
Entidade
,
Formula
and
Obligation
confersNorm
Entidade
,
Formula
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
confersNorm
Entidade
,
Formula
and
Permission
confersNorm
Entidade
,
Formula
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
confersNorm
Entidade
,
Formula
and
Prohibition
confersNorm
Entidade
,
Formula
and
Permission
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
deprivesNorm
Entidade
,
Formula
and
Prohibition
confersNorm
Entidade
,
Formula
and
Permission
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13246-13251
Entidade
e' uma
instancia
de
Declarar
Formula
Norma Objectiva
confersNorm
Entidade
,
Formula
and
Norma Objectiva
deprivesNorm
Entidade
,
Formula
and
Norma Objectiva
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15639-15644
Entidade
e' uma
instancia
de
Certificado
Formula
Norma Objectiva
confersNorm
Entidade
,
Formula
and
Norma Objectiva
deprivesNorm
Entidade
,
Formula
and
Norma Objectiva
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