Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Entity
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 4012-4014
(
documentation
confersNorm
JapaneseLanguage
"
Formula
が
ObjectiveNorm
を保持していると
Entity
がもたらすとき、
Formula
、
Entity
、および
ObjectiveNorm
間で関係を表す。")
japanese_format.kif 754-755
(
domain
confersNorm
1
Entity
)
Merge.kif 4008-4008
赋予规范
的 1 数量 是
实体
的
instance
(
domain
confersNorm
2
Formula
)
Merge.kif 4009-4009
赋予规范
的 2 数量 是
公式
的
instance
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 4010-4010
赋予规范
的 3 数量 是
客观标准
的
instance
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 4007-4007
赋予规范
是
三元谓语
的
instance
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4029-4029
剥夺了规范
和
赋予规范
是
disjoint
关系
(
format
ChineseLanguage
confersNorm
"%1 %n{不是} confers 规范 %2 对于 %3 ")
domainEnglishFormat.kif 520-520
剥夺了规范
和
赋予规范
是
disjoint
关系
(
format
ChineseTraditionalLanguage
confersNorm
"%1 %n{不是} confers 規範 %2 對於 %3 ")
domainEnglishFormat.kif 519-519
剥夺了规范
和
赋予规范
是
disjoint
关系
(
format
EnglishLanguage
confersNorm
"%1 %n{doesn't} confers norm %2 for %3")
domainEnglishFormat.kif 518-518
剥夺了规范
和
赋予规范
是
disjoint
关系
(
termFormat
ChineseLanguage
confersNorm
"赋予规范")
domainEnglishFormat.kif 16587-16587
剥夺了规范
和
赋予规范
是
disjoint
关系
(
termFormat
ChineseTraditionalLanguage
confersNorm
"賦予規範")
domainEnglishFormat.kif 16586-16586
剥夺了规范
和
赋予规范
是
disjoint
关系
(
termFormat
EnglishLanguage
confersNorm
"confers norm")
domainEnglishFormat.kif 16585-16585
剥夺了规范
和
赋予规范
是
disjoint
关系
antecedent
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 345-347
如果
实体
confers
规范
公式
对于
义务
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 336-339
如果
实体
confers
规范
公式
对于
允许
,
然后
那个 实体
不是
confers
规范
那个 公式
对于
禁令
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 341-343
如果
实体
confers
规范
公式
对于
禁令
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4016-4026
如果
实体
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 20250-20266
如果
转移
是
遗赠
的
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 18269-18280
如果
客体
是
驾照
的
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 17969-17976
如果
客体
是
通过证书
的
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 17948-17962
如果
客体
是
护照
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 客体
confers
规范 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
易位
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的源头 和
那个 实体
在
那个 第三 实体
结束 和
那个 另外 实体
是
国家
的
instance
和
那个 第三 实体
是
国家
的
instance
和
equal
那个 另外 实体
and
那个 第三 实体
对于
允许
(=>
(
and
(
instance
?POLICY
PetsAllowedPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
confersNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2572-2581
如果
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 2621-2630
如果
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 20272-20283
如果
过程
是
夺取财产
的
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
(
instance
?W
Transitway
)
(
attribute
?W
BiDirectionalTraffic
))
(
exists
(?P)
(
and
(
instance
?P
Policy
)
(
confersNorm
?P
(
exists
(?T1 ?A ?B)
(
and
(
instance
?T1
Transportation
)
(
path
?T1 ?W)
(
instance
?A
GeographicArea
)
(
origin
?T1 ?A)
(
instance
?B
GeographicArea
)
(
destination
?T1 ?B)
(
holdsDuring
(
WhenFn
?T1)
(
exists
(?T2)
(
and
(
instance
?T2
Transportation
)
(
path
?T2 ?W)
(
origin
?T1 ?B)
(
destination
?T1 ?A)
(
not
(
equal
?T1 ?T2)))))))
Permission
))))
Transportation.kif 3242-3266
如果
客体
是
公交专用道
的
instance
和
BiDirectionalTraffic
是
那个 客体
的
attribute
,
然后 有存在
实体
这样
那个 实体
是
Policy
的
instance
和
那个 实体
confers
规范 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
运输
的
instance
和
那个 客体
是
那个 另外 实体
发生的
path
和
那个 第三 实体
是
地理区域
的
instance
和
那个 第三 实体
是
那个 另外 实体
的源头 和
那个 第四 实体
是
地理区域
的
instance
和
那个 另外 实体
在
那个 第四 实体
结束 和 有存在
第六 实体
这样
那个 第六 实体
是
运输
的
instance
和
那个 客体
是
那个 第六 实体
发生的
path
和
那个 第四 实体
是
那个 另外 实体
的源头 和
那个 另外 实体
在
那个 第三 实体
结束 和
equal
那个 另外 实体
and
那个 第六 实体
在
那个 另外 实体
出现 的
time
holdsDuring
对于
允许
(=>
(
and
(
instance
?W
Transitway
)
(
attribute
?W
UniDirectionalTraffic
))
(
exists
(?P)
(
and
(
instance
?P
Policy
)
(
confersNorm
?P
(
exists
(?T1 ?A ?B)
(
and
(
instance
?T1
Transportation
)
(
path
?T1 ?W)
(
instance
?A
GeographicArea
)
(
origin
?T1 ?A)
(
instance
?B
GeographicArea
)
(
destination
?T1 ?B)
(
holdsDuring
(
WhenFn
?T1)
(
exists
(?T2)
(
and
(
instance
?T2
Transportation
)
(
path
?T2 ?W)
(
origin
?T1 ?B)
(
destination
?T1 ?A)
(
not
(
equal
?T1 ?T2)))))))
Prohibition
))))
Transportation.kif 3275-3299
如果
客体
是
公交专用道
的
instance
和
UniDirectionalTraffic
是
那个 客体
的
attribute
,
然后 有存在
实体
这样
那个 实体
是
Policy
的
instance
和
那个 实体
confers
规范 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
运输
的
instance
和
那个 客体
是
那个 另外 实体
发生的
path
和
那个 第三 实体
是
地理区域
的
instance
和
那个 第三 实体
是
那个 另外 实体
的源头 和
那个 第四 实体
是
地理区域
的
instance
和
那个 另外 实体
在
那个 第四 实体
结束 和 有存在
第六 实体
这样
那个 第六 实体
是
运输
的
instance
和
那个 客体
是
那个 第六 实体
发生的
path
和
那个 第四 实体
是
那个 另外 实体
的源头 和
那个 另外 实体
在
那个 第三 实体
结束 和
equal
那个 另外 实体
and
那个 第六 实体
在
那个 另外 实体
出现 的
time
holdsDuring
对于
禁令
(=>
(
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 17929-17941
如果
有认知的主事
是由
证书
的
issued
和
那个 证书
是
票
的
instance
和
施事体
possesses
那个 证书
,
然后
那个 有认知的主事
confers
规范 有存在
实体
这样 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 施事体
经历了
那个 另外 实体
在
那个 实体
holdsDuring
对于
允许
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 345-347
如果
实体
confers
规范
公式
对于
义务
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 336-339
如果
实体
confers
规范
公式
对于
允许
,
然后
那个 实体
不是
confers
规范
那个 公式
对于
禁令
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 341-343
如果
实体
confers
规范
公式
对于
禁令
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 357-359
如果
实体
对
禁令
剥夺规范
公式
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13400-13405
如果
实体
是
声明
的
instance
,
然后 有存在
公式
和
客观标准
这样
那个 实体
confers
规范
那个 公式
对于
那个 客观标准
或
那个 实体
对
那个 客观标准
剥夺规范
那个 公式
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15789-15794
如果
实体
是
证书
的
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