Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 4012-4014
(
documentation
confersNorm
JapaneseLanguage
"
Formula
が
ObjectiveNorm
を保持していると
Entity
がもたらすとき、
Formula
、
Entity
、および
ObjectiveNorm
間で関係を表す。")
japanese_format.kif 754-755
(
domain
confersNorm
1
Entity
)
Merge.kif 4008-4008
The number 1 argument of
confers norm
is an
instance
of
entity
(
domain
confersNorm
2
Formula
)
Merge.kif 4009-4009
The number 2 argument of
confers norm
is an
instance
of
formula
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 4010-4010
The number 3 argument of
confers norm
is an
instance
of
objective norm
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 4007-4007
confers norm
is an
instance
of
ternary predicate
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4029-4029
deprives norm
and
confers norm
are
disjoint
(
format
ChineseLanguage
confersNorm
"%1 %n{不是} confers 规范 %2 对于 %3 ")
domainEnglishFormat.kif 520-520
deprives norm
and
confers norm
are
disjoint
(
format
ChineseTraditionalLanguage
confersNorm
"%1 %n{不是} confers 規範 %2 對於 %3 ")
domainEnglishFormat.kif 519-519
deprives norm
and
confers norm
are
disjoint
(
format
EnglishLanguage
confersNorm
"%1 %n{doesn't} confers norm %2 for %3")
domainEnglishFormat.kif 518-518
deprives norm
and
confers norm
are
disjoint
(
termFormat
ChineseLanguage
confersNorm
"赋予规范")
domainEnglishFormat.kif 16587-16587
deprives norm
and
confers norm
are
disjoint
(
termFormat
ChineseTraditionalLanguage
confersNorm
"賦予規範")
domainEnglishFormat.kif 16586-16586
deprives norm
and
confers norm
are
disjoint
(
termFormat
EnglishLanguage
confersNorm
"confers norm")
domainEnglishFormat.kif 16585-16585
deprives norm
and
confers norm
are
disjoint
antecedent
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 345-347
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 336-339
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 341-343
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 4016-4026
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 20250-20266
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 18269-18280
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 17969-17976
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 17948-17962
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
equal
the other entity
and
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 2572-2581
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 2621-2630
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 20272-20283
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
(
instance
?W
Transitway
)
(
attribute
?W
BiDirectionalTraffic
))
(
exists
(?P)
(
and
(
instance
?P
Policy
)
(
confersNorm
?P
(
exists
(?T1 ?A ?B)
(
and
(
instance
?T1
Transportation
)
(
path
?T1 ?W)
(
instance
?A
GeographicArea
)
(
origin
?T1 ?A)
(
instance
?B
GeographicArea
)
(
destination
?T1 ?B)
(
holdsDuring
(
WhenFn
?T1)
(
exists
(?T2)
(
and
(
instance
?T2
Transportation
)
(
path
?T2 ?W)
(
origin
?T1 ?B)
(
destination
?T1 ?A)
(
not
(
equal
?T1 ?T2)))))))
Permission
))))
Transportation.kif 3242-3266
If
an object
is an
instance
of
transitway
and
bidirectional traffic
is an
attribute
of
the object
,
then there exists
an entity
such that
the entity
is an
instance
of
policy
and
the entity
confers
norm there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
transportation
and
the object
is
path
along which
the other entity
occurs and
the third entity
is an
instance
of
geographic area
and
the other entity
originate
s at
the third entity
and
the fourth entity
is an
instance
of
geographic area
and
the other entity
end
s up at
the fourth entity
and there exists
a fifth entity
such that
the fifth entity
is an
instance
of
transportation
and
the object
is
path
along which
the fifth entity
occurs and
the other entity
originate
s at
the fourth entity
and
the other entity
end
s up at
the third entity
and
equal
the other entity
and
the fifth entity
holds
during
the
time
of existence of
the other entity
for
permission
(=>
(
and
(
instance
?W
Transitway
)
(
attribute
?W
UniDirectionalTraffic
))
(
exists
(?P)
(
and
(
instance
?P
Policy
)
(
confersNorm
?P
(
exists
(?T1 ?A ?B)
(
and
(
instance
?T1
Transportation
)
(
path
?T1 ?W)
(
instance
?A
GeographicArea
)
(
origin
?T1 ?A)
(
instance
?B
GeographicArea
)
(
destination
?T1 ?B)
(
holdsDuring
(
WhenFn
?T1)
(
exists
(?T2)
(
and
(
instance
?T2
Transportation
)
(
path
?T2 ?W)
(
origin
?T1 ?B)
(
destination
?T1 ?A)
(
not
(
equal
?T1 ?T2)))))))
Prohibition
))))
Transportation.kif 3275-3299
If
an object
is an
instance
of
transitway
and
unidirectional traffic
is an
attribute
of
the object
,
then there exists
an entity
such that
the entity
is an
instance
of
policy
and
the entity
confers
norm there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
transportation
and
the object
is
path
along which
the other entity
occurs and
the third entity
is an
instance
of
geographic area
and
the other entity
originate
s at
the third entity
and
the fourth entity
is an
instance
of
geographic area
and
the other entity
end
s up at
the fourth entity
and there exists
a fifth entity
such that
the fifth entity
is an
instance
of
transportation
and
the object
is
path
along which
the fifth entity
occurs and
the other entity
originate
s at
the fourth entity
and
the other entity
end
s up at
the third entity
and
equal
the other entity
and
the fifth entity
holds
during
the
time
of existence of
the other entity
for
prohibition
(=>
(
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 17929-17941
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 345-347
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 336-339
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 341-343
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 357-359
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 13400-13405
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 15789-15794
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