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
The number 1 argument of
confers norm
is an
instance
of
entity
(
domain
confersNorm
2
Formula
)
Merge.kif 3993-3993
The number 2 argument of
confers norm
is an
instance
of
formula
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 3994-3994
The number 3 argument of
confers norm
is an
instance
of
objective norm
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 3991-3991
confers norm
is an
instance
of
ternary predicate
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4013-4013
deprives norm
and
confers norm
are
disjoint
(
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
If
an entity
confers
norm
a formula
for
obligation
,
then
the entity
confers
norm
the formula
for
permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
If
an entity
confers
norm
a formula
for
permission
,
then
the entity
doesn't
confers
norm
the formula
for
prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
If
an entity
confers
norm
a formula
for
prohibition
,
then
the entity
confers
norm
the formula
for
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
If
an entity
confers
norm
another entity
for
a third entity
holds
during
a time position
,
then the statement
the other entity
doesn't have the
modal
force
of
the third entity
holds
during
immediately
before
the time position
and the statement
the other entity
has the
modal
force
of
the third entity
holds
during
immediately
after
the time position
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
If
a transfer
is an
instance
of
bequeathing
and
an agent
is an
agent
of
the transfer
and
the transfer
end
s up at
an entity
and the object transferred in
the transfer
is
the agent
ROP,
then there exists
a process
such that
the process
is an
instance
of
death
and
the agent
experience
s
the process
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the transfer
and
the agent
possess
es
the agent
ROP holds
during
immediately
before
the
time
of existence of
the process
and
the agent
confers
norm
the entity
possess
es
the agent
ROP for
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
If
an object
is an
instance
of
drivers license
and
an agent
possess
es
the object
,
then
the object
confers
norm there exist
an entity
and
another entity
such that
the entity
is an
instance
of
driving
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
road vehicle
for
permission
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
If
an object
is an
instance
of
pass certificate
and
an agent
possess
es
the object
,
then there exists
an entity
such that
the object
confers
norm
the agent
is
located
at
the entity
for
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
If
an object
is an
instance
of
passport
and
an agent
possess
es
the object
,
then
the object
confers
norm there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
translocation
and
the agent
is an
agent
of
the entity
and
the entity
originate
s at
the other entity
and
the entity
end
s up at
the third entity
and
the other entity
is an
instance
of
nation
and
the third entity
is an
instance
of
nation
and
the other entity
is not
equal
to
the third entity
for
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
If
a policy
is an
instance
of
pets allowed
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
confers
norm there exists
an entity
such that
the entity
is an
instance
of
domestic animal
and
the entity
is
located
at
the object
for
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
If
a policy
is an
instance
of
smoking allowed policy
and
the policy
covers
an object
and
an organization
enacts
policy
the policy
,
then
the organization
confers
norm there exists
an entity
such that
the entity
is an
instance
of
smoking
and
the entity
is
located
at
the object
for
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
If
a process
is an
instance
of
seizing property
and
the process
end
s up at
an entity
and
the process
originate
s at
an object
and
the object
is an
instance
of
cognitive agent
,
then
the entity
is an
instance
of
government
and
the object
doesn't
confers
norm
the process
end
s up at
the entity
for
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
If
an agent
is an
instance
of
ticket
and
the agent
possess
es
an object
and
a cognitive agent
is an
issued
by of
the agent
and
amusement gambling and recreation industries
is an
attribute
of
the cognitive agent
and
the cognitive agent
is
located
at
another object
,
then
the cognitive agent
confers
norm there exists
an entity
such that
the entity
is an
instance
of
recreation or exercise
and
the object
experience
s
the entity
and
the entity
is
located
at
the other object
for
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
If
a cognitive agent
is an
issued
by of
a certificate
and
the certificate
is an
instance
of
ticket
and
an agent
possess
es
the certificate
,
then
the cognitive agent
confers
norm there exists
an entity
such that there exists
another entity
such that
the other entity
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the other entity
and
the agent
experience
s
the other entity
holds
during
the entity
for
permission
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
If
an entity
confers
norm
a formula
for
obligation
,
then
the entity
confers
norm
the formula
for
permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
If
an entity
confers
norm
a formula
for
permission
,
then
the entity
doesn't
confers
norm
the formula
for
prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
If
an entity
confers
norm
a formula
for
prohibition
,
then
the entity
confers
norm
the formula
for
permission
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
If
an entity
deprives
norm
a formula
for
prohibition
,
then
the entity
confers
norm
the formula
for
permission
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13246-13251
If
an entity
is an
instance
of
declaring
,
then there exist
a formula
and
an objective norm
such that
the entity
confers
norm
the formula
for
the objective norm
or
the entity
deprives
norm
the formula
for
the objective norm
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15639-15644
If
an entity
is an
instance
of
certificate
,
then there exist
a formula
and
an objective norm
such that
the entity
confers
norm
the formula
for
the objective norm
or
the entity
deprives
norm
the formula
for
the objective norm
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