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
involvedInEvent
Sigma KEE - involvedInEvent
involvedInEvent
appearance as argument number 1
(
documentation
involvedInEvent
ChineseLanguage
"(involvedInEvent ?EVENT ?THING) 的意思是 在 ?EVENT这个
Process
,?THING 这个
Entity
佔着一点
CaseRole
。")
chinese_format.kif 1863-1864
(
documentation
involvedInEvent
EnglishLanguage
"(involvedInEvent ?EVENT ?THING) means that in the
Process
?EVENT, the
Entity
?THING plays some
CaseRole
.")
Merge.kif 2409-2410
(
documentation
involvedInEvent
JapaneseLanguage
"(involvedInEvent ?EVENT ?THING) とは、
Process
?EVENTでは、、
Entity
?THING は
CaseRole
の役をする、という意味である。")
japanese_format.kif 486-487
(
domain
involvedInEvent
1
Process
)
Merge.kif 2414-2414
involvedInEvent
の数値 1 引数は
工程
の
instance
では %n
(
domain
involvedInEvent
2
Entity
)
Merge.kif 2415-2415
involvedInEvent
の数値 2 引数は
エンティティー
の
instance
では %n
(
instance
involvedInEvent
AsymmetricRelation
)
Merge.kif 2413-2413
involvedInEvent
は
非対称関係
の
instance
では %n
(
instance
involvedInEvent
BinaryPredicate
)
Merge.kif 2412-2412
involvedInEvent
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
involvedInEvent
"%2 %n 是事件 %1 的 involved ")
domainEnglishFormat.kif 1389-1389
(
format
ChineseTraditionalLanguage
involvedInEvent
"%2 %n 是事件 %1 的 involved ")
domainEnglishFormat.kif 1388-1388
(
format
EnglishLanguage
involvedInEvent
"%2 is %n an involved in event of %1")
domainEnglishFormat.kif 1387-1387
(
subrelation
agent
involvedInEvent
)
Merge.kif 2435-2435
agent
は
involvedInEvent
の
subrelation
では %n
(
subrelation
destination
involvedInEvent
)
Merge.kif 2446-2446
destination
は
involvedInEvent
の
subrelation
では %n
(
subrelation
direction
involvedInEvent
)
Merge.kif 16940-16940
direction
は
involvedInEvent
の
subrelation
では %n
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
eventPartlyLocated
は
involvedInEvent
の
subrelation
では %n
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
experiencer
は
involvedInEvent
の
subrelation
では %n
(
subrelation
moves
involvedInEvent
)
Merge.kif 10987-10987
moves
は
involvedInEvent
の
subrelation
では %n
(
subrelation
origin
involvedInEvent
)
Merge.kif 2484-2484
origin
は
involvedInEvent
の
subrelation
では %n
(
subrelation
patient
involvedInEvent
)
Merge.kif 2497-2497
patient
は
involvedInEvent
の
subrelation
では %n
(
termFormat
ChineseLanguage
involvedInEvent
"参与活动")
domainEnglishFormat.kif 30901-30901
(
termFormat
ChineseTraditionalLanguage
involvedInEvent
"參與活動")
domainEnglishFormat.kif 30900-30900
(
termFormat
EnglishLanguage
involvedInEvent
"involved in event")
domainEnglishFormat.kif 30899-30899
antecedent
(<=>
(
subrelation
?PRED
involvedInEvent
)
(
instance
?PRED
CaseRole
))
Media.kif 119-121
関係
は
involvedInEvent
の
subrelation
では %n
関係
は
格役割
の
instance
では %n
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
工程
は
Epidemic
の
instance
では %n
involvedInEvent
工程
and
AutonomousAgent
属性
は
病気または症候群
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では %n
工程
工程
は
病理学的プロセス
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
移動
は
摂取
の
instance
では %n
AutonomousAgent
が
移動
を
experience
s %n{ない}
objectTransferred
移動
and
オブジェクト
オブジェクト
は
MoodStabilizer
の
instance
では %n
工程
は
工程
C の
instance
では %n
involvedInEvent
工程
and
AutonomousAgent
工程
S は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
工程
S は
感情状態
の
instance
では %n
工程
2 は
工程
C の
instance
では %n
involvedInEvent
工程
2 and
AutonomousAgent
工程
2 の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
ステートメント
工程
S は
AutonomousAgent
の
attribute
では %n は
工程
2 の
during
hold ない には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7940-7947
工程
は
LargeGroupProcess
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
物理
は
コレクション
の
member
では %n
involvedInEvent
工程
and
物理
memberCount
コレクション
and
整数
整数
は 10 より
greater
では %n
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7949-7958
工程
は
LargeGroupProcess
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
物理
は
コレクション
の
member
では %n
involvedInEvent
工程
and
物理
クラス
クラス
C
クラス
C は
クラス
の
instance
では %n
involvedInEvent
クラス
C and
物理
consequent
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30223-30236
Alone
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
2
工程
エンティティー
は
エンティティー
2 と
equal
では
エンティティー
2 は
AutonomousAgent
の
instance
では %n
工程
は
社会的交流
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
involvedInEvent
工程
and
エンティティー
involvedInEvent
工程
and
エンティティー
2
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7949-7958
工程
は
LargeGroupProcess
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
物理
は
コレクション
の
member
では %n
involvedInEvent
工程
and
物理
クラス
クラス
C
クラス
C は
クラス
の
instance
では %n
involvedInEvent
クラス
C and
物理
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 5747-5767
MeanOfProduction
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
作る
の
instance
では %n
involvedInEvent
エンティティー
and
オブジェクト
オブジェクト
は
エンティティー
の
result
では
エンティティー
は
アーチファクト
の
instance
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
エンティティー
エンティティー
は
CommercialService
の
instance
では %n
involvedInEvent
エンティティー
and
オブジェクト
の 目的 %n{ない}
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18408-18415
組織
は
DepartmentOfPreventingFn
組織
and
物理
と
equal
では %n
組織
が
エンティティー
エンティティー
は
物理
の
instance
では %n
involvedInEvent
エンティティー
and
組織
を
desire
ない
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
物理
and
オブジェクト
ステートメント
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
involvedInEvent
エンティティー
and
物理
物理
は
エンティティー
を
cause
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
holdsDuring
?T
(
attribute
?H
PostTraumaticStressDisorder
))
(
exists
(?V)
(
and
(
instance
?V
ViolentContest
)
(
earlier
(
WhenFn
?V) ?T)
(
involvedInEvent
?V ?H))))
Mid-level-ontology.kif 9747-9755
PostTraumaticStressDisorder
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
工程
は
激しいコンテスト
の
instance
では %n
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
involvedInEvent
工程
and
エンティティー
(=>
(
instance
?E
Pandemic
)
(
exists
(?H1 ?H2 ?N1 ?N2 ?C1 ?C2)
(
and
(
involvedInEvent
?E ?H1)
(
involvedInEvent
?E ?H2)
(
not
(
equal
?H1 ?H2))
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
instance
?C1
Continent
)
(
instance
?C2
Continent
)
(
not
(
equal
?C1 ?C2))
(
holdsDuring
(
WhenFn
?E)
(
or
(
and
(
located
?H1 ?C1)
(
located
?H2 ?C2))
(
and
(
located
?H1 ?N1)
(
located
?H2 ?N2)))))))
Medicine.kif 3537-3561
工程
は
Pandemic
の
instance
では %n
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
involvedInEvent
工程
and
エンティティー
involvedInEvent
工程
and
エンティティー
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
国民
の
instance
では %n
エンティティー
は
国民
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
大陸
の
instance
では %n
エンティティー
は
大陸
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
instance
?INTERACTION
SocialInteraction
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
involvedInEvent
?INTERACTION ?AGENT1)
(
involvedInEvent
?INTERACTION ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Merge.kif 13004-13013
工程
は
社会的交流
の
instance
では %n
エンティティー
エンティティー
involvedInEvent
工程
and
エンティティー
involvedInEvent
工程
and
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
(=>
(
instance
?P
Parasite
)
(
modalAttribute
(
exists
(?H ?PROC)
(
and
(
located
?P ?H)
(
involvedInEvent
?PROC ?P)
(
involvedInEvent
?PROC ?H)
(
benefits
?PROC ?P)
(
suffers
?PROC ?H)))
Likely
))
Mid-level-ontology.kif 5894-5904
エンティティー
は
Parasite
の
instance
では %n
ステートメント
エンティティー
エンティティー
ROC
エンティティー
は
エンティティー
に
located
して %n
involvedInEvent
エンティティー
ROC and
エンティティー
involvedInEvent
エンティティー
ROC and
エンティティー
エンティティー
は
エンティティー
ROC の 受益者では %n
suffers
エンティティー
ROC and
エンティティー
には
Likely
の
modal
force
が ある
(=>
(
instance
?R
CaseRole
)
(
subrelation
?R
involvedInEvent
))
Merge.kif 2427-2429
関係
は
格役割
の
instance
では %n
関係
は
involvedInEvent
の
subrelation
では %n
(=>
(
manner
?P
Solely
)
(
exists
(?H)
(
and
(
involvedInEvent
?P ?H)
(
instance
?H
AutonomousAgent
)
(
not
(
exists
(?H2)
(
and
(
involvedInEvent
?P ?H2)
(
instance
?H2
AutonomousAgent
)
(
not
(
equal
?H ?H2))))))))
Mid-level-ontology.kif 30207-30218
工程
は
Solely
の方法で実行され %n
エンティティー
involvedInEvent
工程
and
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
2
involvedInEvent
工程
and
エンティティー
2
エンティティー
2 は
AutonomousAgent
の
instance
では %n
エンティティー
は
エンティティー
2 と
equal
では
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