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
赋予规范
的 1 数量 是
实体
的
instance
(
domain
confersNorm
2
Formula
)
Merge.kif 3994-3994
赋予规范
的 2 数量 是
公式
的
instance
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 3995-3995
赋予规范
的 3 数量 是
客观标准
的
instance
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 3992-3992
赋予规范
是
三元谓语
的
instance
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4014-4014
剥夺了规范
和
赋予规范
是
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
如果
实体
confers
规范
公式
对于
义务
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
如果
实体
confers
规范
公式
对于
允许
,
然后
那个 实体
不是
confers
规范
那个 公式
对于
禁令
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
如果
实体
confers
规范
公式
对于
禁令
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4001-4011
如果
实体
confers
规范
另一个 实体
对于
第三 实体
在
时间位置
holdsDuring
,
然后
那个 另外 实体
的声明 doesn't have
那个 第三 实体
的语气 在 紧接
那个 时间位置
before
holdsDuring
和
那个 另外 实体
的声明 has
那个 第三 实体
的语气 在 紧接
那个 时间位置
after
holdsDuring
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
如果
转移
是
遗赠
的
instance
和
施事体
是
那个 转移
的
agent
和
那个 转移
在
实体
结束 和
objectTransferred
那个 转移
and
那个 施事体
ROP,
然后 有存在
过程
这样
那个 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
和
那个 施事体
possesses
那个 施事体
ROP 在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 施事体
confers
规范
那个 实体
possesses
那个 施事体
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 16909-16920
如果
客体
是
驾照
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 客体
confers
规范 有存在
实体
和
另一个 实体
这样
那个 实体
是
驾驶
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
公路车辆
的
instance
对于
允许
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16609-16616
如果
客体
是
通过证书
的
instance
和
施事体
possesses
那个 客体
,
然后 有存在
实体
这样
那个 客体
confers
规范
那个 施事体
是
located
在
那个 实体
对于
允许
(=>
(
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
如果
客体
是
护照
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 客体
confers
规范 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
易位
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的源头 和
那个 实体
在
那个 第三 实体
结束 和
那个 另外 实体
是
国家
的
instance
和
那个 第三 实体
是
国家
的
instance
和
那个 另外 实体
不
equal
那个 第三 实体
对于
允许
(=>
(
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
是
PetsAllowedPolicy
的
instance
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
confers
规范 有存在
实体
这样
那个 实体
是
家畜
的
instance
和
那个 实体
是
located
在
那个 客体
对于
允许
(=>
(
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
是
SmokingAllowedPolicy
的
instance
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
confers
规范 有存在
实体
这样
那个 实体
是
抽烟
的
instance
和
那个 实体
是
located
在
那个 客体
对于
允许
(=>
(
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
如果
过程
是
夺取财产
的
instance
和
那个 过程
在
实体
结束 和
客体
是
那个 过程
的源头 和
那个 客体
是
有认知的主事
的
instance
,
然后
那个 实体
是
政府
的
instance
和
那个 客体
不是
confers
规范
那个 过程
在
那个 实体
结束 对于
允许
(=>
(
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
如果
施事体
是
票
的
instance
和
那个 施事体
possesses
客体
和
有认知的主事
是由
那个 施事体
的
issued
和
娱乐赌博和娱乐业
是
那个 有认知的主事
的
attribute
和
那个 有认知的主事
是
located
在
另一个 客体
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样
那个 实体
是
娱乐或锻炼
的
instance
和
那个 客体
经历了
那个 实体
和
那个 实体
是
located
在
那个 另外 客体
对于
允许
(=>
(
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
如果
有认知的主事
是由
证书
的
issued
和
那个 证书
是
票
的
instance
和
施事体
possesses
那个 证书
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 施事体
经历了
那个 另外 实体
在
那个 实体
holdsDuring
对于
允许
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
如果
实体
confers
规范
公式
对于
义务
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
如果
实体
confers
规范
公式
对于
允许
,
然后
那个 实体
不是
confers
规范
那个 公式
对于
禁令
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
如果
实体
confers
规范
公式
对于
禁令
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
如果
实体
对
禁令
剥夺规范
公式
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13292-13297
如果
实体
是
声明
的
instance
,
然后 有存在
公式
和
客观标准
这样
那个 实体
confers
规范
那个 公式
对于
那个 客观标准
或
那个 实体
对
那个 客观标准
剥夺规范
那个 公式
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15685-15690
如果
实体
是
证书
的
instance
,
然后 有存在
公式
和
客观标准
这样
那个 实体
confers
规范
那个 公式
对于
那个 客观标准
或
那个 实体
对
那个 客观标准
剥夺规范
那个 公式
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