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 3997-3999
(
documentation
confersNorm
JapaneseLanguage
"
Formula
が
ObjectiveNorm
を保持していると
Entity
がもたらすとき、
Formula
、
Entity
、および
ObjectiveNorm
間で関係を表す。")
japanese_format.kif 754-755
(
domain
confersNorm
1
Entity
)
Merge.kif 3993-3993
Il numero 1 argomenti di
confersNorm
è un
istanza
di
Entit�
(
domain
confersNorm
2
Formula
)
Merge.kif 3994-3994
Il numero 2 argomenti di
confersNorm
è un
istanza
di
Formula
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 3995-3995
Il numero 3 argomenti di
confersNorm
è un
istanza
di
NormaOggettiva
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 3992-3992
confersNorm
è un'
istanza
di
PredicatoTernario
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4014-4014
deprivesNorm
e
confersNorm
sono
disgiunti
(
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�
,
Formula
and
Obligation
confersNorm
Entit�
,
Formula
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
confersNorm
Entit�
,
Formula
and
Permission
confersNorm
Entit�
,
Formula
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
confersNorm
Entit�
,
Formula
and
Prohibition
confersNorm
Entit�
,
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 4001-4011
confersNorm
Entit�
,
Entit�
and
Entit�
vales
durante
PosizioneTemporale
l'affermazione
Entit�
ha il modello di forza di
Entit�
vales
durante
immediatamente
prima
di
PosizioneTemporale
l'affermazione
Entit�
ha il modello di forza di
Entit�
vales
durante
immediatamente
dopo
PosizioneTemporale
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 18706-18722
Trasferimento
è un'
istanza
di
Bequeathing
Trasferimento
è un
agente
di
AutonomousAgent
Trasferimento
fine
s in
Entit�
objectTransferred
Trasferimento
and
AutonomousAgent
ROP
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Trasferimento
AutonomousAgent
possiede
es
AutonomousAgent
ROP vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
confersNorm
AutonomousAgent
,
Entit�
possiede
es
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 16909-16920
Oggetto
è un'
istanza
di
DriversLicense
AutonomousAgent
possiede
es
Oggetto
confersNorm
Oggetto
,
Entit�
Entit�
Entit�
è un'
istanza
di
Driving
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
RoadVehicle
and
Permission
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16609-16616
Oggetto
è un'
istanza
di
PassCertificate
AutonomousAgent
possiede
es
Oggetto
Entit�
confersNorm
Oggetto
,
AutonomousAgent
è
localizzato
in
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 16588-16602
Oggetto
è un'
istanza
di
Passport
AutonomousAgent
possiede
es
Oggetto
confersNorm
Oggetto
,
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�
è un
agente
di
AutonomousAgent
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
Nazione
Entit�
è un'
istanza
di
Nazione
Entit�
is
uguale
a
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
è un'
istanza
di
PetsAllowedPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
confersNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
DomesticAnimal
Entit�
è
localizzato
in
Oggetto
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
è un'
istanza
di
SmokingAllowedPolicy
policyLocationCoverage
Policy
and
Oggetto
policyOwner
Organizzazione
and
Policy
confersNorm
Organizzazione
,
Entit�
Entit�
è un'
istanza
di
Smoking
Entit�
è
localizzato
in
Oggetto
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 18728-18739
Processo
è un'
istanza
di
SeizingProperty
Processo
fine
s in
Entit�
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
AgenteCognitivo
Entit�
è un'
istanza
di
Governo
confersNorm
Oggetto
,
Processo
non %n
fine
in
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
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Oggetto
issuedBy
AutonomousAgent
and
AgenteCognitivo
attribute
AgenteCognitivo
and
AmusementGamblingAndRecreationIndustries
AgenteCognitivo
è
localizzato
in
Oggetto
confersNorm
AgenteCognitivo
,
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
Oggetto
esperisce
s
Entit�
eventLocated
Entit�
and
Oggetto
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 16569-16581
issuedBy
Certificato
and
AgenteCognitivo
Certificato
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Certificato
confersNorm
AgenteCognitivo
,
Entit�
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un
agente
di
AgenteCognitivo
AutonomousAgent
esperisce
s
Entit�
vales
durante
Entit�
and
Permission
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
confersNorm
Entit�
,
Formula
and
Obligation
confersNorm
Entit�
,
Formula
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
confersNorm
Entit�
,
Formula
and
Permission
confersNorm
Entit�
,
Formula
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
confersNorm
Entit�
,
Formula
and
Prohibition
confersNorm
Entit�
,
Formula
and
Permission
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
deprivesNorm
Entit�
,
Formula
and
Prohibition
confersNorm
Entit�
,
Formula
and
Permission
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13292-13297
Entit�
è un'
istanza
di
Dichiarare
Formula
NormaOggettiva
confersNorm
Entit�
,
Formula
and
NormaOggettiva
deprivesNorm
Entit�
,
Formula
and
NormaOggettiva
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15685-15690
Entit�
è un'
istanza
di
Certificato
Formula
NormaOggettiva
confersNorm
Entit�
,
Formula
and
NormaOggettiva
deprivesNorm
Entit�
,
Formula
and
NormaOggettiva
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