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 4013-4013
deprivesNorm
と
confersNorm
は
disjoint
では %n
(
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 4018-4020
(
documentation
deprivesNorm
JapaneseLanguage
"
Formula
が
ObjectiveNorm
を保持していない、 と
Entity
がもたらすとき、
Entity
、
Formula
、および
ObjectiveNorm
間で関係を表す。")
japanese_format.kif 756-757
(
domain
deprivesNorm
1
Entity
)
Merge.kif 4014-4014
deprivesNorm
の数値 1 引数は
エンティティー
の
instance
では %n
(
domain
deprivesNorm
2
Formula
)
Merge.kif 4015-4015
deprivesNorm
の数値 2 引数は
公式
の
instance
では %n
(
domain
deprivesNorm
3
ObjectiveNorm
)
Merge.kif 4016-4016
deprivesNorm
の数値 3 引数は
客観的規範
の
instance
では %n
(
instance
deprivesNorm
TernaryPredicate
)
Merge.kif 4012-4012
deprivesNorm
は
3進述語
の
instance
では %n
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
エンティティー
,
公式
and
Permission
deprivesNorm
エンティティー
,
公式
and
Obligation
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
deprivesNorm
エンティティー
,
公式
and
Prohibition
confersNorm
エンティティー
,
公式
and
Permission
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 4022-4031
deprivesNorm
エンティティー
,
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
には
エンティティー
の
modal
force
が ある は
時間位置
の immediately
before
の
during
holds %n{ない} ステートメント
エンティティー
には
エンティティー
の
modal
force
が ない %p{ある} は
時間位置
の すぐ
after
の
during
holds %n{ない}
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
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
HumanChild
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
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
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
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
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
deprivesNorm
組織
,
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
deprivesNorm
?E ?F
Permission
)
(
deprivesNorm
?E ?F
Obligation
))
Law.kif 347-349
deprivesNorm
エンティティー
,
公式
and
Permission
deprivesNorm
エンティティー
,
公式
and
Obligation
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13246-13251
エンティティー
は
declaring
の
instance
では %n
公式
客観的規範
confersNorm
エンティティー
,
公式
and
客観的規範
deprivesNorm
エンティティー
,
公式
and
客観的規範
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15639-15644
エンティティー
は
証明書
の
instance
では %n
公式
客観的規範
confersNorm
エンティティー
,
公式
and
客観的規範
deprivesNorm
エンティティー
,
公式
and
客観的規範
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