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
confersNorm
の数値 1 引数は
エンティティー
の
instance
では %n
(
domain
confersNorm
2
Formula
)
Merge.kif 3994-3994
confersNorm
の数値 2 引数は
公式
の
instance
では %n
(
domain
confersNorm
3
ObjectiveNorm
)
Merge.kif 3995-3995
confersNorm
の数値 3 引数は
客観的規範
の
instance
では %n
(
instance
confersNorm
TernaryPredicate
)
Merge.kif 3992-3992
confersNorm
は
3進述語
の
instance
では %n
appearance as argument number 2
(
disjointRelation
deprivesNorm
confersNorm
)
Merge.kif 4014-4014
deprivesNorm
と
confersNorm
は
disjoint
では %n
(
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
confersNorm
エンティティー
,
公式
and
Obligation
confersNorm
エンティティー
,
公式
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
confersNorm
エンティティー
,
公式
and
Permission
confersNorm
エンティティー
,
公式
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
confersNorm
エンティティー
,
公式
and
Prohibition
confersNorm
エンティティー
,
公式
and
Permission
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4001-4011
confersNorm
エンティティー
,
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
には
エンティティー
の
modal
force
が ない %p{ある} は
時間位置
の immediately
before
の
during
holds %n{ない} ステートメント
エンティティー
には
エンティティー
の
modal
force
が ある は
時間位置
の すぐ
after
の
during
holds %n{ない}
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
移動
は
Bequeathing
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
移動
は
エンティティー
に
end
s %n{ない}
objectTransferred
移動
and
AutonomousAgent
ROP
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
AutonomousAgent
ROP を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
confersNorm
AutonomousAgent
,
エンティティー
は
AutonomousAgent
ROP を
possess
es %n{ない} and
Permission
(=>
(
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
オブジェクト
は
DriversLicense
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
confersNorm
オブジェクト
,
エンティティー
エンティティー
エンティティー
は
運転
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
RoadVehicle
の
instance
では %n and
Permission
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16609-16616
オブジェクト
は
PassCertificate
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
エンティティー
confersNorm
オブジェクト
,
AutonomousAgent
は
エンティティー
に
located
して %n and
Permission
(=>
(
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
オブジェクト
は
Passport
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
confersNorm
オブジェクト
,
エンティティー
エンティティー
and
エンティティー
エンティティー
は
Translocation
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
国民
の
instance
では %n
エンティティー
は
国民
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では and
Permission
(=>
(
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
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
confersNorm
組織
,
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
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
では %n
policyLocationCoverage
Policy
and
オブジェクト
policyOwner
組織
and
Policy
confersNorm
組織
,
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n and
Permission
(=>
(
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
工程
は
SeizingProperty
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
認識エージェント
の
instance
では %n
エンティティー
は
政府
の
instance
では %n
confersNorm
オブジェクト
,
工程
は
エンティティー
に
end
ない and
Permission
(=>
(
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
は
Ticket
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
issuedBy
AutonomousAgent
and
認識エージェント
AmusementGamblingAndRecreationIndustries
は
認識エージェント
の
attribute
では %n
認識エージェント
は
オブジェクト
に
located
して %n
confersNorm
認識エージェント
,
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
オブジェクト
が
エンティティー
を
experience
s %n{ない}
eventLocated
エンティティー
and
オブジェクト
and
Permission
(=>
(
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
issuedBy
証明書
and
認識エージェント
証明書
は
Ticket
の
instance
では %n
AutonomousAgent
は
証明書
を
possess
es %n{ない}
confersNorm
認識エージェント
,
エンティティー
エンティティー
エンティティー
は
工程
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
AutonomousAgent
が
エンティティー
を
experience
s %n{ない} は
エンティティー
の
during
holds %n{ない} and
Permission
(=>
(
confersNorm
?E ?F
Obligation
)
(
confersNorm
?E ?F
Permission
))
Law.kif 339-341
confersNorm
エンティティー
,
公式
and
Obligation
confersNorm
エンティティー
,
公式
and
Permission
(=>
(
confersNorm
?E ?F
Permission
)
(
not
(
confersNorm
?E ?F
Prohibition
)))
Law.kif 330-333
confersNorm
エンティティー
,
公式
and
Permission
confersNorm
エンティティー
,
公式
and
Prohibition
(=>
(
confersNorm
?E ?F
Prohibition
)
(
confersNorm
?E
(
not
?F)
Permission
))
Law.kif 335-337
confersNorm
エンティティー
,
公式
and
Prohibition
confersNorm
エンティティー
,
公式
and
Permission
(=>
(
deprivesNorm
?E ?F
Prohibition
)
(
confersNorm
?E ?F
Permission
))
Law.kif 351-353
deprivesNorm
エンティティー
,
公式
and
Prohibition
confersNorm
エンティティー
,
公式
and
Permission
(=>
(
instance
?DECLARE
Declaring
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DECLARE ?PROP ?NORM)
(
deprivesNorm
?DECLARE ?PROP ?NORM))))
Merge.kif 13292-13297
エンティティー
は
declaring
の
instance
では %n
公式
客観的規範
confersNorm
エンティティー
,
公式
and
客観的規範
deprivesNorm
エンティティー
,
公式
and
客観的規範
(=>
(
instance
?DOC
Certificate
)
(
exists
(?PROP ?NORM)
(
or
(
confersNorm
?DOC ?PROP ?NORM)
(
deprivesNorm
?DOC ?PROP ?NORM))))
Merge.kif 15685-15690
エンティティー
は
証明書
の
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