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
deprivesNorm
Sigma KEE - deprivesNorm
deprivesNorm
appearance as argument number 1
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4014-4014
剥夺了规范
和
赋予规范
是
disjoint
关系
(
documentation
deprivesNorm
ChineseLanguage
"这个概念表达了一个
Entity
,
Formula
和一个
ObjectiveNorm
之间的关系:就是这个
Entity
所表示的
Formula
没有那个
ObjectiveNorm
。")
chinese_format.kif 2105-2106
(
documentation
deprivesNorm
EnglishLanguage
"Expresses the relationship between an
Entity
, a
Formula
, and an
ObjectiveNorm
when the
Entity
brings it about that the
Formula
does not have the
ObjectiveNorm
.")
Merge.kif 4019-4021
(
documentation
deprivesNorm
JapaneseLanguage
"
Formula
が
ObjectiveNorm
を保持していない、 と
Entity
がもたらすとき、
Entity
、
Formula
、および
ObjectiveNorm
間で関係を表す。")
japanese_format.kif 756-757
(
domain
deprivesNorm
1
Entity
)
Merge.kif 4015-4015
剥夺了规范
的 1 数量 是
实体
的
instance
(
domain
deprivesNorm
2
Formula
)
Merge.kif 4016-4016
剥夺了规范
的 2 数量 是
公式
的
instance
(
domain
deprivesNorm
3
ObjectiveNorm
)
Merge.kif 4017-4017
剥夺了规范
的 3 数量 是
客观标准
的
instance
(
instance
deprivesNorm
TernaryPredicate
)
Merge.kif 4013-4013
剥夺了规范
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
deprivesNorm
"%1 %n{不} 对 %3 剥夺规范 %2 ")
domainEnglishFormat.kif 716-716
(
format
ChineseTraditionalLanguage
deprivesNorm
"%1 %n{不} 對 %3 剝奪規範 %2 ")
domainEnglishFormat.kif 715-715
(
format
EnglishLanguage
deprivesNorm
"%1 %n{doesn't}
de
prives norm %2 for %3")
domainEnglishFormat.kif 714-714
(
termFormat
ChineseLanguage
deprivesNorm
"剥夺了规范")
domainEnglishFormat.kif 19176-19176
(
termFormat
ChineseTraditionalLanguage
deprivesNorm
"剝奪了規範")
domainEnglishFormat.kif 19175-19175
(
termFormat
EnglishLanguage
deprivesNorm
"deprives norm")
domainEnglishFormat.kif 19174-19174
antecedent
(=>
(
deprivesNorm
?E ?F
Permission
)
(
deprivesNorm
?E ?F
Obligation
))
Law.kif 347-349
如果
实体
对
允许
剥夺规范
公式
,
然后
那个 实体
对
义务
剥夺规范
那个 公式
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
如果
实体
对
禁令
剥夺规范
公式
,
然后
那个 实体
confers
规范
那个 公式
对于
允许
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 4023-4032
如果
实体
对
另一个 实体
剥夺规范
第三 实体
在
时间位置
holdsDuring
,
然后
那个 第三 实体
的声明 has
那个 另外 实体
的语气 在 紧接
那个 时间位置
before
holdsDuring
和
那个 第三 实体
的声明 doesn't have
那个 另外 实体
的语气 在 紧接
那个 时间位置
after
holdsDuring
consequent
(=>
(
and
(
instance
?POLICY
NoChildrenPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
located
?CHILD ?LOC)))
Permission
))
Hotel.kif 2626-2635
如果
Policy
是
NoChildrenPolicy
的
instance
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
对
允许
剥夺规范 有存在
实体
这样
那个 实体
是
人类的孩子
的
instance
和
那个 实体
是
located
在
那个 客体
(=>
(
and
(
instance
?POLICY
NoPetsPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?PET)
(
and
(
instance
?PET
DomesticAnimal
)
(
located
?PET ?LOC)))
Permission
))
Hotel.kif 2577-2586
如果
Policy
是
NoPetsPolicy
的
instance
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
对
允许
剥夺规范 有存在
实体
这样
那个 实体
是
家畜
的
instance
和
那个 实体
是
located
在
那个 客体
(=>
(
and
(
instance
?POLICY
NoSmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC)
(
policyOwner
?AGENT ?POLICY))
(
deprivesNorm
?AGENT
(
exists
(?SMOKE)
(
and
(
instance
?SMOKE
Smoking
)
(
located
?SMOKE ?LOC)))
Permission
))
Hotel.kif 2593-2602
如果
Policy
是
NoSmokingPolicy
的
instance
和
那个 Policy
covers
客体
和
机构
enacts
policy
那个 Policy
,
然后
那个 机构
对
允许
剥夺规范 有存在
实体
这样
那个 实体
是
抽烟
的
instance
和
那个 实体
是
located
在
那个 客体
(=>
(
deprivesNorm
?E ?F
Permission
)
(
deprivesNorm
?E ?F
Obligation
))
Law.kif 347-349
如果
实体
对
允许
剥夺规范
公式
,
然后
那个 实体
对
义务
剥夺规范
那个 公式
(=>
(
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