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
Die Zahl 1 Argument von
confersNorm
ist ein
fall
von
Entity
%n{nicht}
(
domain
confersNorm
2
Formula
)
Merge.kif 3993-3993
Die Zahl 2 Argument von
confersNorm
ist ein
fall
von
Formula
%n{nicht}
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 3994-3994
Die Zahl 3 Argument von
confersNorm
ist ein
fall
von
ObjectiveNorm
%n{nicht}
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 3991-3991
confersNorm
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4013-4013
deprivesNorm
und
confersNorm
werden
disjunkt
(
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
Wenn
confersNorm
Entity
,
Formula
and
Obligation
,
dann
confersNorm
** Entity
,
** Formula
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
Wenn
confersNorm
Entity
,
Formula
and
Permission
,
dann
confersNorm
** Entity
,
** Formula
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
Wenn
confersNorm
Entity
,
Formula
and
Prohibition
,
dann
confersNorm
** Entity
,
** 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
Wenn
confersNorm
entity
,
** entity
and
** entity
haelt
waehrend
TimePosition
%n{nicht},
dann nicht die Aussage
** ** entity
hat die modale Kraft von
** ** entity
haelt
waehrend
direkt
vor
** TimePosition
%n{nicht} und die Aussage
** ** entity
hat die modale Kraft von
** ** entity
haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
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
Wenn
Transfer
ist ein
fall
von
Bequeathing
%n{nicht} und
** Transfer
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Transfer
endet an
Entity
%n{nicht} und
objectTransferred
** Transfer
and
** AutonomousAgent
ROP,
dann es gibt
Process
um
** Process
ist ein
fall
von
Death
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht frueh als die
zeit
des Bestehens von
** Transfer
%n{nicht} und
** AutonomousAgent
besitzt
** AutonomousAgent
ROP %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und
confersNorm
** AutonomousAgent
,
** Entity
besitzt
** AutonomousAgent
ROP %n{nicht} 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
Wenn
Object
ist ein
fall
von
DriversLicense
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann
confersNorm
** Object
, es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Driving
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
RoadVehicle
%n{nicht} and
Permission
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
Wenn
Object
ist ein
fall
von
PassCertificate
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann es gibt
entity
um
confersNorm
** Object
,
** AutonomousAgent
befindet
sich an %n{nicht} 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
Wenn
Object
ist ein
fall
von
Passport
%n{nicht} und
AutonomousAgent
besitzt
** Object
%n{nicht},
dann
confersNorm
** Object
, es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Translocation
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** entity
beginnet an
** ** entity
%n{nicht} und
** entity
endet an
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Nation
%n{nicht} und
** ** entity
ist ein
fall
von
Nation
%n{nicht} und
** ** entity
ist gleich
** ** entity
nicht 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
Wenn
Policy
ist ein
fall
von
PetsAllowedPolicy
%n{nicht} und
policyLocationCoverage
** Policy
and
Object
und
policyOwner
Organization
and
** Policy
,
dann
confersNorm
** Organization
, es gibt
entity
um
** entity
ist ein
fall
von
DomesticAnimal
%n{nicht} und
** entity
befindet
sich an %n{nicht} 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
Wenn
Policy
ist ein
fall
von
SmokingAllowedPolicy
%n{nicht} und
policyLocationCoverage
** Policy
and
Object
und
policyOwner
Organization
and
** Policy
,
dann
confersNorm
** Organization
, es gibt
entity
um
** entity
ist ein
fall
von
Smoking
%n{nicht} und
** entity
befindet
sich an %n{nicht} 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
Wenn
Process
ist ein
fall
von
SeizingProperty
%n{nicht} und
** Process
endet an
Entity
%n{nicht} und
** Process
beginnet an
Object
%n{nicht} und
** Object
ist ein
fall
von
CognitiveAgent
%n{nicht},
dann
** Entity
ist ein
fall
von
Government
%n{nicht} und
confersNorm
** Object
,
** Process
endet an
** Entity
nicht 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
Wenn
AutonomousAgent
ist ein
fall
von
Ticket
%n{nicht} und
** AutonomousAgent
besitzt
Object
%n{nicht} und
issuedBy
** AutonomousAgent
and
CognitiveAgent
und
AmusementGamblingAndRecreationIndustries
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
befindet
sich an %n{nicht},
dann
confersNorm
** CognitiveAgent
, es gibt
entity
um
** entity
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Object
erfaehrt
** entity
%n{nicht} und
eventLocated
** entity
and
** Object
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
Wenn
issuedBy
Certificate
and
CognitiveAgent
und
** Certificate
ist ein
fall
von
Ticket
%n{nicht} und
AutonomousAgent
besitzt
** Certificate
%n{nicht},
dann
confersNorm
** CognitiveAgent
, es gibt
entity
um es gibt
** entity
um
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** AutonomousAgent
erfaehrt
** ** entity
%n{nicht} haelt
waehrend
** entity
%n{nicht} and
Permission
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
Wenn
confersNorm
Entity
,
Formula
and
Obligation
,
dann
confersNorm
** Entity
,
** Formula
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
Wenn
confersNorm
Entity
,
Formula
and
Permission
,
dann
confersNorm
** Entity
,
** Formula
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
Wenn
confersNorm
Entity
,
Formula
and
Prohibition
,
dann
confersNorm
** Entity
,
** Formula
and
Permission
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
Wenn
deprivesNorm
Entity
,
Formula
and
Prohibition
,
dann
confersNorm
** Entity
,
** Formula
and
Permission
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13246-13251
Wenn
Entity
ist ein
fall
von
Declaring
%n{nicht},
dann es gibt
Formula
und
ObjectiveNorm
um
confersNorm
** Entity
,
** Formula
and
** ObjectiveNorm
oder
deprivesNorm
** Entity
,
** Formula
and
** ObjectiveNorm
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15639-15644
Wenn
Entity
ist ein
fall
von
Certificate
%n{nicht},
dann es gibt
Formula
und
ObjectiveNorm
um
confersNorm
** Entity
,
** Formula
and
** ObjectiveNorm
oder
deprivesNorm
** Entity
,
** Formula
and
** ObjectiveNorm
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