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
eventLocated
Sigma KEE - eventLocated
eventLocated
appearance as argument number 1
(
documentation
eventLocated
ChineseLanguage
"(
eventLocated
?PROC ?OBJ) 的意思是整个
Process
?PROC 是位于
Object
?OBJ,也就是说所有 ?PROC 的
subProcess
是位于 ?OBJ。")
chinese_format.kif 2115-2116
(
documentation
eventLocated
EnglishLanguage
"(
eventLocated
?PROC ?OBJ) means that the entire
Process
?PROC is located on
Object
?OBJ, meaning that all
subProcess
of ?PROC is located on ?OBJ.")
Merge.kif 4144-4146
(
documentation
eventLocated
JapaneseLanguage
"(
eventLocated
?PROC ?OBJ) とは、
Process
?PROC 全体が
Object
?OBJ 上に配置され、?PROC のすべての
subProcess
が ?OBJ上に配置されるこ とを意味する。")
japanese_format.kif 767-769
(
domain
eventLocated
1
Process
)
Merge.kif 4139-4139
eventLocated
の数値 1 引数は
工程
の
instance
では
(
domain
eventLocated
2
Object
)
Merge.kif 4140-4140
eventLocated
の数値 2 引数は
オブジェクト
の
instance
では
(
instance
eventLocated
CaseRole
)
Merge.kif 4141-4141
eventLocated
は
格役割
の
instance
では
(
instance
eventLocated
TotalValuedRelation
)
Merge.kif 4142-4142
eventLocated
は
合計値関係
の
instance
では
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4138-4138
eventLocated
は
eventPartlyLocated
の
subrelation
では
appearance as argument number 2
(
format
ChineseLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3324-3324
(
format
ChineseTraditionalLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3323-3323
(
format
EnglishLanguage
eventLocated
"%1 is
located
at %2")
domainEnglishFormat.kif 3322-3322
(
termFormat
EnglishLanguage
eventLocated
"event located")
english_format.kif 1845-1845
antecedent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
は
オブジェクト
の
attribute
では
オブジェクト
は
Table
の
instance
では
工程
は
摂食
の
instance
では
AutonomousAgent
は
工程
の
agent
では
AutonomousAgent
は
GroupOfPeople
の
instance
では
eventLocated
工程
and
オブジェクト
ステートメント
エンティティー
エンティティー
and
オブジェクト
2
エンティティー
は
摂食
の
instance
では
エンティティー
は
エンティティー
の
agent
では
equal
AutonomousAgent
and
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では
eventLocated
エンティティー
and
オブジェクト
2
工程
の
time
の existence は
エンティティー
の
time
の existence に
meet
s
equal
オブジェクト
and
オブジェクト
2 には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?BLOW
VolcanicEruption
)
(
eventLocated
?BLOW ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 2023-2028
オブジェクト
は
地理的地域
の
instance
では
工程
は
VolcanicEruption
の
instance
では
eventLocated
工程
and
オブジェクト
GeologicallyStable
は
オブジェクト
の
attribute
では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?SHAKING
EarthTremor
)
(
eventLocated
?SHAKING ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 2030-2035
オブジェクト
は
地理的地域
の
instance
では
工程
は
EarthTremor
の
instance
では
eventLocated
工程
and
オブジェクト
GeologicallyStable
は
オブジェクト
の
attribute
では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 1127-1133
地域
は
地理的地域
の
instance
では
工程
は
ClearWeather
の
instance
では
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3 より
less
では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 1117-1125
地域
は
地理的地域
の
instance
では
工程
は
ClearWeather
の
instance
では
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3 より
less
では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 1178-1184
地域
は
地理的地域
の
instance
では
工程
は
OvercastWeather
の
instance
では
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.7 より
greater
では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 1168-1176
地域
は
地理的地域
の
instance
では
工程
は
OvercastWeather
の
instance
では
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.7 より
greater
では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 1152-1160
地域
は
地理的地域
の
instance
では
工程
は
PartlyCloudyWeather
の
instance
では
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3
greater
では
非負実数
は 0.7 より
less
または同等 では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 1141-1150
地域
は
地理的地域
の
instance
では
工程
は
PartlyCloudyWeather
の
instance
では
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3
greater
では
非負実数
は 0.7 より
less
または同等 では
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 18153-18163
オブジェクト
は
ArtSchool
の
instance
では
工程
は
教育過程
の
instance
では
eventLocated
工程
and
オブジェクト
工程
エンティティー
工程
は
作る
の
instance
では
エンティティー
は
工程
の
patient
では
エンティティー
は
芸術作品
の
instance
では
工程
は
工程
への
reference
を includes
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
オブジェクト
は
BrakePedal
の
instance
では
工程
は
Pushing
の
instance
では
オブジェクト
は
Vehicle
の
instance
では
工程
は
オブジェクト
に
end
s
eventLocated
工程
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
WearingFrictionSurface
の
instance
では
エンティティー
は
Friction
の
instance
では
エンティティー
は
エンティティー
の
instrument
では
工程
は
エンティティー
を
cause
s の 目的
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
工程
は
CateringService
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
工程
UST に
end
s
AutonomousAgent
は
オブジェクト
に
located
して
customer
工程
UST and
AutonomousAgent
工程
エンティティー
and
工程
工程
は
料理
の
instance
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
は
工程
の
result
では
エンティティー
は
工程
の
patient
では
工程
は
摂食
の
instance
では
工程
UST は
工程
の
agent
では
eventLocated
工程
and
オブジェクト
equal
オブジェクト
and
オブジェクト
(=>
(
and
(
instance
?CS
CyclonicStorm
)
(
instance
?AS
AirStream
)
(
eventLocated
?CS ?AS))
(
shape
?AS
Cylinder
))
Weather.kif 556-561
工程
は
CyclonicStorm
の
instance
では
オブジェクト
は
AirStream
の
instance
では
eventLocated
工程
and
オブジェクト
shape
オブジェクト
and
Cylinder
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 3216-3229
工程
は
Desertification
の
instance
では
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
エンティティー
は
ArableLand
の
instance
では
エンティティー
は
Desert
の
instance
では
overlapsSpatially
オブジェクト
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds
overlapsSpatially
オブジェクト
and
エンティティー
は
工程
の
time
の existence の
end
の
during
holds
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 3195-3206
時間間隔
は
Drought
の
instance
では
eventLocated
時間間隔
and
オブジェクト
時間間隔
オブジェクト
時間間隔
は
Raining
の
instance
では
オブジェクト
は
地域
の
instance
では
eventLocated
時間間隔
and
オブジェクト
overlapsSpatially
オブジェクト
and
オブジェクト
時間間隔
は
時間間隔
と
overlap
s
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 3324-3332
工程
は
DustStorm
の
instance
では
オブジェクト
は
地理的地域
の
instance
では
eventLocated
工程
and
オブジェクト
ステートメント
BadAirQuality
は
オブジェクト
の
attribute
では には
Likely
の
modal
force
が ある は
工程
の
time
の existence の
during
holds
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
オブジェクト
は
EngineCylinder
の
instance
では
HoleRegion
は
Crankcase
の
instance
では
物理
は
Piston
の
instance
では
工程
は
TwoStrokeTransfer
の
instance
では
物理
は
オブジェクト
に
located
して は
工程
の
during
holds
equal
オブジェクト
and ホール
HoleRegion
の
host
eventLocated
工程
and
オブジェクト
物理
は
物理
は
HoleRegion
を
partially
fill
s は
工程
の
during
holds の 目的
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
オブジェクト
は
EngineCylinder
の
instance
では
HoleRegion
は
InternalCombustionChamber
の
instance
では
物理
は
Piston
の
instance
では
工程
は
TwoStrokeIntake
の
instance
では
物理
は
オブジェクト
に
located
して は
工程
の
during
holds
equal
オブジェクト
and ホール
HoleRegion
の
host
eventLocated
工程
and
オブジェクト
物理
は
物理
は
HoleRegion
を
partially
fill
s は
工程
の
during
holds の 目的
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
エンティティー
は
EngineChoke
の
instance
では
DeviceOn
は
エンティティー
の
attribute
では は
工程
の
during
holds
DeviceOff
は
エンティティー
の
attribute
では は
工程
の
during
holds
自己接続オブジェクト
は
EngineCylinder
の
instance
では
capacity
自己接続オブジェクト
and
一定量
工程
は
FourStrokeCompression
の
instance
では
工程
は
FourStrokeCompression
の
instance
では
eventLocated
工程
and
自己接続オブジェクト
eventLocated
工程
and
自己接続オブジェクト
オブジェクト
は
Air
の
instance
では
オブジェクト
は
Fuel
の
instance
では
オブジェクト
は
一定量
IX1 の
part
では
オブジェクト
は
一定量
IX1 の
part
では
一定量
IX1 の
measure
は
一定量
では
オブジェクト
は
Air
の
instance
では
オブジェクト
は
Fuel
の
instance
では
オブジェクト
は
一定量
IX2 の
part
では
オブジェクト
は
一定量
IX2 の
part
では
一定量
IX2 の
measure
は
一定量
では
測定単位
は
測定単位
の
instance
では
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では
オブジェクト
M +
オブジェクト
M は
オブジェクト
M +
オブジェクト
M より
greater
では
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1882-1901
工程
は
EngineCycle
の
instance
では
オブジェクト
は
InternalCombustionEngine
の
instance
では
オブジェクト
は
CombustionChamber
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
eventLocated
工程
and
オブジェクト
エンティティー
は
UnitOfVolume
の
instance
では
maxCylinderVolume
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds
実数
時間間隔
時間間隔
は
工程
の
time
の existence の
during
に takes
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では は
時間間隔
の
during
holds
実数
は
実数
より
greater
では
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1852-1871
工程
は
EngineCycle
の
instance
では
オブジェクト
は
InternalCombustionEngine
の
instance
では
オブジェクト
は
CombustionChamber
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
eventLocated
工程
and
オブジェクト
エンティティー
は
UnitOfVolume
の
instance
では
minCylinderVolume
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds
実数
時間間隔
時間間隔
は
工程
の
time
の existence の
during
に takes
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では は
時間間隔
の
during
holds
実数
は
実数
より
greater
では
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1927-1949
工程
は
EngineCycle
の
instance
では
Engine
は
InternalCombustionEngine
の
instance
では
オブジェクト
は
Piston
の
instance
では
測定単位
は
UnitOfLength
の
instance
では
オブジェクト
は
Engine
の
part
では
オブジェクト
は
工程
の
patient
では
eventLocated
工程
and
Engine
pistonStroke
Engine
and
実数
の
測定単位
(s)
時間間隔
時間間隔
,
物理
,
物理
and
実数
時間間隔
は
工程
の
time
の existence の
during
に takes
時間間隔
は
工程
の
time
の existence の
during
に takes
オブジェクト
は
物理
に
located
して は
時間間隔
の
during
holds
オブジェクト
は
物理
に
located
して は
時間間隔
の
during
holds
物理
と
物理
の
distance
は
実数
の
測定単位
(s) では
実数
は
実数
より
greater
では
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 19136-19151
工程
は
Flooding
の
instance
では
eventLocated
工程
and
オブジェクト
実数
実数
and
エンティティー
エンティティー
は
UnitOfLength
の
instance
では
waterDepth
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
beginning
の
during
holds
waterDepth
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
end
の
during
holds
実数
は
実数
より
greater
では
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 2322-2332
工程
は
Flooding
の
instance
では
オブジェクト
は
土地面積
の
instance
では
eventLocated
工程
and
オブジェクト
時点
は
時点
の
instance
では
時点
は
工程
の
time
の existence の
before
に happens
ステートメント
オブジェクト
は
SubmergedLandArea
の
instance
では は
時点
の
during
holds には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
工程
は
FourStrokeCombustion
の
instance
では
オブジェクト
は
EngineCylinder
の
instance
では
HoleRegion
は
InternalCombustionChamber
の
instance
では
equal
オブジェクト
and ホール
HoleRegion
の
host
eventLocated
工程
and
オブジェクト
オブジェクト
O
オブジェクト
O は
燃焼
の
instance
では
オブジェクト
O は
工程
% の
subprocess
では
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 18239-18248
almaMater
人[人間]
and
PostSecondarySchool
工程
工程
は
教育過程
の
instance
では
工程
は
人[人間]
に
end
s
eventLocated
工程
and
PostSecondarySchool
Student
は
人[人間]
の
attribute
では は
工程
の
time
の existence の
during
holds
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 394-402
StudioRecording
は
コンテンツベアリングオブジェクト
の
attribute
では
コンテンツベアリングオブジェクト
は
Recording
の
instance
では
工程
オブジェクト
record
コンテンツベアリングオブジェクト
and
工程
eventLocated
工程
and
オブジェクト
オブジェクト
は
RecordingStudio
の
instance
では
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
は
オブジェクト
の
attribute
では
オブジェクト
は
Table
の
instance
では
工程
は
摂食
の
instance
では
AutonomousAgent
は
工程
の
agent
では
AutonomousAgent
は
GroupOfPeople
の
instance
では
eventLocated
工程
and
オブジェクト
ステートメント
エンティティー
エンティティー
and
オブジェクト
2
エンティティー
は
摂食
の
instance
では
エンティティー
は
エンティティー
の
agent
では
equal
AutonomousAgent
and
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では
eventLocated
エンティティー
and
オブジェクト
2
工程
の
time
の existence は
エンティティー
の
time
の existence に
meet
s
equal
オブジェクト
and
オブジェクト
2 には
Possibility
の
modal
force
が ある
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
DeepSeaCoastalAndGreatLakesWaterTransportation
は
認識エージェント
の
attribute
では
認識エージェント
は
TransportationCompany
の
instance
では
ServiceProcess
オブジェクト
ServiceProcess
は
WaterTransportationService
の
instance
では
認識エージェント
は
ServiceProcess
の間サービスを provides
eventLocated
ServiceProcess
and
オブジェクト
オブジェクト
は
水域
の
instance
では
認識エージェント
は
NorthAmerica
に
located
して
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 28493-28501
Historical
は
オブジェクト
の
attribute
では
オブジェクト
は
都市
の
instance
では
オブジェクト
オブジェクト
は
物理
の
instance
では
Historical
は
オブジェクト
の
attribute
では
eventLocated
オブジェクト
and
オブジェクト
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 28057-28069
WheelchairAccessible
は
オブジェクト
の
attribute
では
オブジェクト
は
建物
の
instance
では
オブジェクト
は
部屋
の
instance
では
ステートメント
エンティティー
エンティティー
エンティティー
は
motion
の
instance
では
エンティティー
は
エンティティー
の
instrument
では
エンティティー
は
Wheelchair
の
instance
では
eventLocated
エンティティー
and
オブジェクト
には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?BC
BoosterChair
)
(
instance
?H
HumanChild
))
(
hasPurposeForAgent
?BC
(
and
(
attribute
?H
Sitting
)
(
eventLocated
?H ?BC)) ?H))
Dining.kif 840-847
物理
は
BoosterChair
の
instance
では
AutonomousAgent
は
HumanChild
の
instance
では
物理
は
AutonomousAgent
の 目的
Sitting
は
AutonomousAgent
の
attribute
では
eventLocated
AutonomousAgent
and
物理
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
オブジェクト
は
Crankshaft
の
instance
では
オブジェクト
は
IntermittentCombustionEngine
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
Explosion
の
instance
では
エンティティー
は
Rotating
の
instance
では
オブジェクト
は
エンティティー
の
patient
では
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
を
cause
s の 目的
(=>
(
and
(
instance
?CRAFT
WaterVehicle
)
(
instance
?EVENT
Transportation
)
(
instrument
?EVENT ?CRAFT))
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
eventLocated
?EVENT ?WATER))))
Mid-level-ontology.kif 3941-3949
オブジェクト
は
WaterVehicle
の
instance
では
工程
は
交通手段
の
instance
では
オブジェクト
は
工程
の
instrument
では
オブジェクト
オブジェクト
は
水域
の
instance
では
eventLocated
工程
and
オブジェクト
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 3195-3206
時間間隔
は
Drought
の
instance
では
eventLocated
時間間隔
and
オブジェクト
時間間隔
オブジェクト
時間間隔
は
Raining
の
instance
では
オブジェクト
は
地域
の
instance
では
eventLocated
時間間隔
and
オブジェクト
overlapsSpatially
オブジェクト
and
オブジェクト
時間間隔
は
時間間隔
と
overlap
s
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1991-2012
工程
は
DustStorm
の
instance
では
工程
は
Wind
の
instance
では
工程
は
工程
% の
subprocess
では
移動
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
土地面積
の
instance
では
eventLocated
工程
and
オブジェクト
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
実数
は 30.0 より
greater
では
移動
は
Translocation
の
instance
では
移動
は
工程
% の
subprocess
では
objectTransferred
移動
and
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
ParticulateMatter
の
instance
では
オブジェクト
は
Sand
の
instance
では
オブジェクト
は
土地面積
の
instance
では
移動
は
オブジェクト
に
end
s
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1724-1740
微粒子オブジェクト
は
Exhaust
の
instance
では
Fuel
は
微粒子オブジェクト
で
made
移動
は
移動
の
instance
では
微粒子オブジェクト
NG は
Engine
の
instance
では
移動
は
微粒子オブジェクト
NG から
originate
s
物理
は
CatalyticConverter
の
instance
では
移動
は
物理
に
end
s
objectTransferred
移動
and
微粒子オブジェクト
物理
は
エンティティー
エンティティー
は
燃焼
の
instance
では
物理
は
エンティティー
の
instrument
では
微粒子オブジェクト
は
エンティティー
の
patient
では
eventLocated
エンティティー
and
物理
の 目的
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2607-2621
工程
は
Evacuation
の
instance
では
工程
は
オブジェクト
から
originate
s
組織
は
工程
の
agent
では
工程
工程
A
工程
は
維持
の
instance
では
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では
工程
A は組織
組織
の一部では
工程
A は
組織
の
member
では
equal
工程
A and
組織
工程
A は
工程
の
agent
では
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 9321-9329
CultivatedLandArea
は
Garden
の
instance
では
plantInArea
植物
and
CultivatedLandArea
CultivatedLandArea
は
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では
eventLocated
エンティティー
and
CultivatedLandArea
の 目的
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 661-675
オブジェクト
は
Gene
の
instance
では
オブジェクト
は
オブジェクト
に
located
して
オブジェクト
は
細胞
の
instance
では
工程
オブジェクト
and
オブジェクト
工程
は
生物学的プロセス
の
instance
では
eventLocated
工程
and
オブジェクト
工程
は
オブジェクト
から
originate
s
オブジェクト
は
工程
の
result
では
オブジェクト
は
Nucleotide
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
RNAMolecule
の
instance
では
オブジェクト
は
オブジェクト
に
located
して
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 2303-2316
工程
は
HeavySurf
の
instance
では
オブジェクト
は
水域
の
instance
では
eventLocated
工程
and
オブジェクト
工程
AutonomousAgent
工程
は
水泳
の
instance
では
AutonomousAgent
は
人[人間]
の
instance
では
AutonomousAgent
は
工程
の
agent
では
eventLocated
工程
and
オブジェクト
hazardous
工程
and
AutonomousAgent
は
工程
の
time
の existence の
during
holds
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST ?P)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7752-7765
コレクション
は
組織
の
instance
では
MiscellaneousStoreRetailers
は
コレクション
の
attribute
では
工程
物理
,
エンティティー
,
オブジェクト
and
AutonomousAgent
物理
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
工程
は
販売
の
instance
では
AutonomousAgent
は
人[人間]
の
instance
では
オブジェクト
は
RetailStore
の
instance
では
eventLocated
工程
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では
エンティティー
は
工程
の
patient
では
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
コレクション
は
組織
の
instance
では
NonstoreRetailers
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
エンティティー
AutonomousAgent
は
販売
の
instance
では
エンティティー
は
人[人間]
の
instance
では
エンティティー
は
オブジェクト
の
instance
では
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
は
エンティティー
に
end
s
エンティティー
は
AutonomousAgent
の
patient
では
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5551-5563
エンティティー
は
ForestProduct
の
instance
では
工程
は
製造
の
instance
では
エンティティー
は
工程
の
result
では
エンティティー
は
工程
の
patient
では
エンティティー
は
物
の
instance
では
工程
オブジェクト
工程
は
Agriculture
の
instance
では
エンティティー
は
工程
の
result
では
eventLocated
工程
and
オブジェクト
オブジェクト
は
Forest
の
instance
では
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 25147-25152
工程
は
工程
の
instance
では
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では
eventLocated
工程
and
オブジェクト
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
は
Restaurant
の
instance
では
オブジェクト
は
DiningRoom
の
instance
では
PrivateAttribute
は
オブジェクト
の
attribute
では
AutonomousAgent
は
オブジェクト
を
possess
es
customer
認識エージェント
and
AutonomousAgent
工程
は
摂食
の
instance
では
認識エージェント
は
工程
の
agent
では
認識エージェント
は
GroupOfPeople
の
instance
では
ステートメント
エンティティー
エンティティー
customer
エンティティー
and
AutonomousAgent
equal
認識エージェント
and
エンティティー
エンティティー
は
摂食
の
instance
では
エンティティー
は
エンティティー
の
agent
では
eventLocated
エンティティー
and
オブジェクト
は
工程
の
time
の existence の
during
holds には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?S
Shooting
)
(
instance
?G
Gun
)
(
instrument
?S ?G))
(
exists
(?E ?GB ?B ?C ?M)
(
and
(
subProcess
?E ?S)
(
instance
?E
Exiting
)
(
eventLocated
?E ?GB)
(
instance
?GB
GunBarrel
)
(
part
?GB ?G)
(
objectTransferred
?E ?B)
(
instance
?B
Bullet
)
(
origin
?B ?C)
(
instance
?C
BulletCartridge
)
(
located
?C ?GB)
(
path
?E ?GB)
(
entrance
?M ?GB)
(
instance
?M
GunMuzzle
))))
Mid-level-ontology.kif 1362-1381
工程
は
射撃
の
instance
では
オブジェクト
は
Gun
の
instance
では
オブジェクト
は
工程
の
instrument
では
移動
オブジェクト
B,
オブジェクト
,
オブジェクト
and
地域
移動
は
工程
% の
subprocess
では
移動
は
Exiting
の
instance
では
eventLocated
移動
and
オブジェクト
B
オブジェクト
B は
GunBarrel
の
instance
では
オブジェクト
B は
オブジェクト
の
part
では
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Bullet
の
instance
では
オブジェクト
は
オブジェクト
から
originate
s
オブジェクト
は
BulletCartridge
の
instance
では
オブジェクト
は
オブジェクト
B に
located
して
オブジェクト
B は
移動
が 発生する
path
では
entrance
地域
and
オブジェクト
B
地域
は
GunMuzzle
の
instance
では
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2486-2496
工程
は
Aftershock
の
instance
では
eventLocated
工程
and
オブジェクト
工程
工程
は
EarthTremor
の
instance
では
eventLocated
工程
and
オブジェクト
工程
の
time
の existence は
工程
の
time
の existence の
before
に happens
(=>
(
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
では
AutonomousAgent
は
オブジェクト
を
possess
es
issuedBy
AutonomousAgent
and
認識エージェント
AmusementGamblingAndRecreationIndustries
は
認識エージェント
の
attribute
では
認識エージェント
は
オブジェクト
に
located
して
confersNorm
認識エージェント
,
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では
オブジェクト
が
エンティティー
を
experience
s
eventLocated
エンティティー
and
オブジェクト
and
Permission
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 2375-2396
工程
は
Tornado
の
instance
では
工程
は
Rotating
の
instance
では
オブジェクト
は
Air
の
instance
では
工程
RAN は
Translocation
の
instance
では
工程
は
工程
% の
subprocess
では
工程
RAN は
工程
% の
subprocess
では
オブジェクト
は
工程
RAN の
patient
では プロセス
工程
RAN のエンテテイは
Horizontal
を
moving
して
オブジェクト
自己接続オブジェクト
,
工程
OP,
自己接続オブジェクト
,
自己接続オブジェクト
and
自己接続オブジェクト
オブジェクト
は
地理的地域
の
instance
では
eventLocated
工程
and
オブジェクト
自己接続オブジェクト
は
オブジェクト
の
part
では
ConeSegment
は
自己接続オブジェクト
の
attribute
では
自己接続オブジェクト
の
top
は
工程
OP では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では
自己接続オブジェクト
は
Cloud
の
instance
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では
工程
OP は
自己接続オブジェクト
と
meet
s
自己接続オブジェクト
は
オブジェクト
と
meet
s
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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