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
域
賦予規範
, 1 and
Entity
(
domain
confersNorm
2
Formula
)
Merge.kif 3993-3993
域
賦予規範
, 2 and
Formula
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 3994-3994
域
賦予規範
, 3 and
ObjectiveNorm
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 3991-3991
例
賦予規範
and
TernaryPredicate
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4013-4013
不相交的關係
剝奪了規範
and
賦予規範
(
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
Entity
confers
規範
Formula
對於
義務
Entity
confers
規範
Formula
對於
允許
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
Entity
confers
規範
Formula
對於
允許
Entity
不是
confers
規範
Formula
對於
禁令
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
Entity
confers
規範
Formula
對於
禁令
Entity
confers
規範
Formula
對於
允許
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4000-4010
持有期間
TimePosition
and
entity
confers
規範
entity
對於
entity
持有期間
不久的過去
TimePosition
and
模態屬性
entity
and
entity
持有期間
眼前的未來
TimePosition
and
模態屬性
entity
and
entity
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
例
Transfer
and
遺贈
agent
Transfer
and
AutonomousAgent
目的地
Transfer
and
Entity
objectTransferred
Transfer
and
AutonomousAgent
ROP
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Transfer
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
AutonomousAgent
ROP
AutonomousAgent
confers
規範
擁有
Entity
and
AutonomousAgent
ROP 對於
允許
(=>
(
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
例
Object
and
駕照
擁有
AutonomousAgent
and
Object
Object
confers
規範
entity
entity
例
entity
and
Driving
agent
entity
and
AutonomousAgent
患者
entity
and
entity
例
entity
and
公路車輛
對於
允許
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
例
Object
and
通過證書
擁有
AutonomousAgent
and
Object
entity
Object
confers
規範
位於
AutonomousAgent
and
entity
對於
允許
(=>
(
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
例
Object
and
護照
擁有
AutonomousAgent
and
Object
Object
confers
規範
entity
entity
and
entity
例
entity
and
易位
agent
entity
and
AutonomousAgent
起源
entity
and
entity
目的地
entity
and
entity
例
entity
and
Nation
例
entity
and
Nation
等於
entity
and
entity
對於
允許
(=>
(
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
and
PetsAllowedPolicy
Policy
covers
Object
Organization
enacts
policy
Policy
Organization
confers
規範
entity
例
entity
and
家畜
位於
entity
and
Object
對於
允許
(=>
(
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
and
SmokingAllowedPolicy
Policy
covers
Object
Organization
enacts
policy
Policy
Organization
confers
規範
entity
例
entity
and
抽煙
位於
entity
and
Object
對於
允許
(=>
(
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
例
Process
and
奪取財產
目的地
Process
and
Entity
起源
Process
and
Object
例
Object
and
CognitiveAgent
例
Entity
and
Government
Object
不是
confers
規範
目的地
Process
and
Entity
對於
允許
(=>
(
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
and
票
擁有
AutonomousAgent
and
Object
CognitiveAgent
是由
AutonomousAgent
的
issued
attribute
CognitiveAgent
and
娛樂賭博和娛樂業
位於
CognitiveAgent
and
Object
CognitiveAgent
confers
規範
entity
例
entity
and
RecreationOrExercise
體驗者
entity
and
Object
entity
是
located
在
Object
對於
允許
(=>
(
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
CognitiveAgent
是由
Certificate
的
issued
例
Certificate
and
票
擁有
AutonomousAgent
and
Certificate
CognitiveAgent
confers
規範
entity
持有期間
entity
and
entity
例
entity
and
Process
agent
entity
and
CognitiveAgent
體驗者
entity
and
AutonomousAgent
對於
允許
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
Entity
confers
規範
Formula
對於
義務
Entity
confers
規範
Formula
對於
允許
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
Entity
confers
規範
Formula
對於
允許
Entity
不是
confers
規範
Formula
對於
禁令
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
Entity
confers
規範
Formula
對於
禁令
Entity
confers
規範
Formula
對於
允許
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
Entity
對
禁令
剝奪規範
Formula
Entity
confers
規範
Formula
對於
允許
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13246-13251
例
Entity
and
Declaring
Formula
ObjectiveNorm
Entity
confers
規範
Formula
對於
ObjectiveNorm
Entity
對
ObjectiveNorm
剝奪規範
Formula
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15639-15644
例
Entity
and
Certificate
Formula
ObjectiveNorm
Entity
confers
規範
Formula
對於
ObjectiveNorm
Entity
對
ObjectiveNorm
剝奪規範
Formula
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