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
Le nombre 1 argument de
confersNorm
est une
instance
de
entit�
(
domain
confersNorm
2
Formula
)
Merge.kif 3993-3993
Le nombre 2 argument de
confersNorm
est une
instance
de
formule
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 3994-3994
Le nombre 3 argument de
confersNorm
est une
instance
de
norme objective
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 3991-3991
confersNorm
est une
instance
de
pr�dicat ternaire
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4013-4013
deprivesNorm
et
confersNorm
sont
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
confersNorm
entit�
,
formule
and
Obligation
confersNorm
entit�
,
formule
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
confersNorm
entit�
,
formule
and
Permission
confersNorm
entit�
,
formule
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
confersNorm
entit�
,
formule
and
Prohibition
confersNorm
entit�
,
formule
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
entit�
,
entit�
and
entit�
pendant
position temporel
l'argument
entit�
n' %n{pas} la
force
modale
de
entit�
pendant
immediatement
avant
position temporel
l'argument
entit�
a la
force
modale
de
entit�
pendant
immediatement
apr
�s
position temporel
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
Transf�re
est une
instance
de
Bequeathing
transf�re
est un
agent
de
AutonomousAgent
transf�re
aboutit
�
entit�
objectTransferred
transf�re
and
AutonomousAgent
ROP
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
transf�re
AutonomousAgent
poss
�de
AutonomousAgent
ROP
pendant
immediatement
avant
temps
d'existence de
processus
confersNorm
AutonomousAgent
,
entit�
poss
�de
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
Objet
est une
instance
de
DriversLicense
AutonomousAgent
poss
�de
objet
confersNorm
objet
,
entit�
entit�
entit�
est une
instance
de
conduire
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
entit�
est une
instance
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
Objet
est une
instance
de
PassCertificate
AutonomousAgent
poss
�de
objet
entit�
confersNorm
objet
,
AutonomousAgent
est
situ
� �
entit�
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
Objet
est une
instance
de
Passport
AutonomousAgent
poss
�de
objet
confersNorm
objet
,
entit�
entit�
and
entit�
entit�
est une
instance
de
Translocation
entit�
est un
agent
de
AutonomousAgent
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
nation
entit�
est une
instance
de
nation
entit�
est
entit�
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
est une
instance
de
PetsAllowedPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
confersNorm
organisation
,
entit�
entit�
est une
instance
de
DomesticAnimal
entit�
est
situ
� �
objet
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
est une
instance
de
SmokingAllowedPolicy
policyLocationCoverage
Policy
and
objet
policyOwner
organisation
and
Policy
confersNorm
organisation
,
entit�
entit�
est une
instance
de
Smoking
entit�
est
situ
� �
objet
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
Processus
est une
instance
de
SeizingProperty
processus
aboutit
�
entit�
processus
a pour
origine
objet
objet
est une
instance
de
agent cognitif
entit�
est une
instance
de
gouvernement
confersNorm
objet
,
processus
n' %n
aboutit
%n{pas} �
entit�
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
est une
instance
de
Ticket
AutonomousAgent
poss
�de
objet
issuedBy
AutonomousAgent
and
agent cognitif
AmusementGamblingAndRecreationIndustries
est un
attribut
de
agent cognitif
agent cognitif
est
situ
� �
objet
confersNorm
agent cognitif
,
entit�
entit�
est une
instance
de
r�cr�ation ou exercice
objet
exp
�rimente
entit�
eventLocated
entit�
and
objet
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
certificat
and
agent cognitif
certificat
est une
instance
de
Ticket
AutonomousAgent
poss
�de
certificat
confersNorm
agent cognitif
,
entit�
entit�
entit�
est une
instance
de
processus
entit�
est un
agent
de
agent cognitif
AutonomousAgent
exp
�rimente
entit�
pendant
entit�
and
Permission
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
confersNorm
entit�
,
formule
and
Obligation
confersNorm
entit�
,
formule
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
confersNorm
entit�
,
formule
and
Permission
confersNorm
entit�
,
formule
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
confersNorm
entit�
,
formule
and
Prohibition
confersNorm
entit�
,
formule
and
Permission
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
deprivesNorm
entit�
,
formule
and
Prohibition
confersNorm
entit�
,
formule
and
Permission
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13246-13251
Entit�
est une
instance
de
d�clarer
formule
norme objective
confersNorm
entit�
,
formule
and
norme objective
deprivesNorm
entit�
,
formule
and
norme objective
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15639-15644
Entit�
est une
instance
de
certificat
formule
norme objective
confersNorm
entit�
,
formule
and
norme objective
deprivesNorm
entit�
,
formule
and
norme objective
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