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
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 4123-4125
(
documentation
eventLocated
JapaneseLanguage
"(
eventLocated
?PROC ?OBJ) とは、
Process
?PROC 全体が
Object
?OBJ 上に配置され、?PROC のすべての
subProcess
が ?OBJ上に配置されるこ とを意味する。")
japanese_format.kif 767-769
(
instance
eventLocated
CaseRole
)
Merge.kif 4120-4120
eventLocated
は
格役割
の
instance
では %n
(
instance
eventLocated
TotalValuedRelation
)
Merge.kif 4121-4121
eventLocated
は
合計値関係
の
instance
では %n
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4119-4119
eventLocated
は
eventPartlyLocated
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3326-3326
(
format
ChineseTraditionalLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3325-3325
(
format
EnglishLanguage
eventLocated
"%1 is
located
at %2")
domainEnglishFormat.kif 3324-3324
(
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
では %n
オブジェクト
は
Table
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
エンティティー
エンティティー
and
オブジェクト
2
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
AutonomousAgent
は
エンティティー
と
equal
では
エンティティー
は
GroupOfPeople
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
2
工程
の
time
の existence は
エンティティー
の
time
の existence に
meet
s %n{ない}
オブジェクト
は
オブジェクト
2 と
equal
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?BLOW
VolcanicEruption
)
(
eventLocated
?BLOW ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1865-1870
オブジェクト
は
地理的地域
の
instance
では %n
工程
は
VolcanicEruption
の
instance
では %n
eventLocated
工程
and
オブジェクト
GeologicallyStable
は
オブジェクト
の
attribute
では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?SHAKING
EarthTremor
)
(
eventLocated
?SHAKING ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1872-1877
オブジェクト
は
地理的地域
の
instance
では %n
工程
は
EarthTremor
の
instance
では %n
eventLocated
工程
and
オブジェクト
GeologicallyStable
は
オブジェクト
の
attribute
では
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 892-898
地域
は
地理的地域
の
instance
では %n
工程
は
ClearWeather
の
instance
では %n
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3 より
less
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 882-890
地域
は
地理的地域
の
instance
では %n
工程
は
ClearWeather
の
instance
では %n
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3 より
less
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 943-949
地域
は
地理的地域
の
instance
では %n
工程
は
OvercastWeather
の
instance
では %n
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.7 より
greater
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 933-941
地域
は
地理的地域
の
instance
では %n
工程
は
OvercastWeather
の
instance
では %n
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.7 より
greater
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
地域
は
地理的地域
の
instance
では %n
工程
は
PartlyCloudyWeather
の
instance
では %n
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3
greater
では %n
非負実数
は 0.7 より
less
または同等 では %n
(=>
(
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 906-915
地域
は
地理的地域
の
instance
では %n
工程
は
PartlyCloudyWeather
の
instance
では %n
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.3
greater
では %n
非負実数
は 0.7 より
less
または同等 では %n
(=>
(
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 16766-16776
オブジェクト
は
ArtSchool
の
instance
では %n
工程
は
教育過程
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
エンティティー
工程
は
作る
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
芸術作品
の
instance
では %n
工程
は
工程
への
reference
を includes %n{ない}
(=>
(
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
では %n
工程
は
Pushing
の
instance
では %n
オブジェクト
は
Vehicle
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
eventLocated
工程
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
WearingFrictionSurface
の
instance
では %n
エンティティー
は
Friction
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
工程
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
UST に
end
s %n{ない}
AutonomousAgent
は
オブジェクト
に
located
して %n
customer
工程
UST and
AutonomousAgent
工程
エンティティー
and
工程
工程
は
料理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
摂食
の
instance
では %n
工程
UST は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
instance
?CS
CyclonicStorm
)
(
instance
?AS
AirStream
)
(
eventLocated
?CS ?AS))
(
attribute
?AS
Cylinder
))
Weather.kif 572-577
工程
は
CyclonicStorm
の
instance
では %n
オブジェクト
は
AirStream
の
instance
では %n
eventLocated
工程
and
オブジェクト
Cylinder
は
オブジェクト
の
attribute
では %n
(=>
(
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 2492-2505
工程
は
Desertification
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
エンティティー
は
ArableLand
の
instance
では %n
エンティティー
は
Desert
の
instance
では %n
overlapsSpatially
オブジェクト
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
overlapsSpatially
オブジェクト
and
エンティティー
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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 2471-2482
時間間隔
は
Drought
の
instance
では %n
eventLocated
時間間隔
and
オブジェクト
時間間隔
オブジェクト
時間間隔
は
Raining
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
eventLocated
時間間隔
and
オブジェクト
overlapsSpatially
オブジェクト
and
オブジェクト
時間間隔
は
時間間隔
と
overlap
s %n{dない}
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
工程
は
DustStorm
の
instance
では %n
オブジェクト
は
地理的地域
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
BadAirQuality
は
オブジェクト
の
attribute
では %n には
Likely
の
modal
force
が ある は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
では %n
HoleRegion
は
Crankcase
の
instance
では %n
物理
は
Piston
の
instance
では %n
工程
は
TwoStrokeTransfer
の
instance
では %n
物理
は
オブジェクト
に
located
して %n は
工程
の
during
holds %n{ない}
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
物理
は
物理
は
HoleRegion
を
partially
fill
s %n{ない} は
工程
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
物理
は
Piston
の
instance
では %n
工程
は
TwoStrokeIntake
の
instance
では %n
物理
は
オブジェクト
に
located
して %n は
工程
の
during
holds %n{ない}
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
物理
は
物理
は
HoleRegion
を
partially
fill
s %n{ない} は
工程
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
DeviceOn
は
エンティティー
の
attribute
では %n は
工程
の
during
holds %n{ない}
DeviceOff
は
エンティティー
の
attribute
では %n は
工程
の
during
holds %n{ない}
自己接続オブジェクト
は
EngineCylinder
の
instance
では %n
capacity
自己接続オブジェクト
and
一定量
工程
は
FourStrokeCompression
の
instance
では %n
工程
は
FourStrokeCompression
の
instance
では %n
eventLocated
工程
and
自己接続オブジェクト
eventLocated
工程
and
自己接続オブジェクト
オブジェクト
は
Air
の
instance
では %n
オブジェクト
は
Fuel
の
instance
では %n
オブジェクト
は
一定量
IX1 の
part
では %n
オブジェクト
は
一定量
IX1 の
part
では %n
一定量
IX1 の
measure
は
一定量
では %n
オブジェクト
は
Air
の
instance
では %n
オブジェクト
は
Fuel
の
instance
では %n
オブジェクト
は
一定量
IX2 の
part
では %n
オブジェクト
は
一定量
IX2 の
part
では %n
一定量
IX2 の
measure
は
一定量
では %n
測定単位
は
測定単位
の
instance
では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
M +
オブジェクト
M は
オブジェクト
M +
オブジェクト
M より
greater
では %n
(=>
(
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 1898-1917
工程
は
EngineCycle
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
UnitOfVolume
の
instance
では %n
maxCylinderVolume
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
実数
時間間隔
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
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 1868-1887
工程
は
EngineCycle
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
UnitOfVolume
の
instance
では %n
minCylinderVolume
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
実数
時間間隔
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
エンティティー
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
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 1943-1965
工程
は
EngineCycle
の
instance
では %n
Engine
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
Piston
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
オブジェクト
は
Engine
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
eventLocated
工程
and
Engine
pistonStroke
Engine
and
実数
の
測定単位
(s)
時間間隔
時間間隔
,
物理
,
物理
and
実数
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
は
物理
に
located
して %n は
時間間隔
の
during
holds %n{ない}
オブジェクト
は
物理
に
located
して %n は
時間間隔
の
during
holds %n{ない}
物理
と
物理
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
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 17585-17600
工程
は
Flooding
の
instance
では %n
eventLocated
工程
and
オブジェクト
実数
実数
and
エンティティー
エンティティー
は
UnitOfLength
の
instance
では %n
waterDepth
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
waterDepth
オブジェクト
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
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 1598-1608
工程
は
Flooding
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
時点
は
時点
の
instance
では %n
時点
は
工程
の
time
の existence の
before
に happens %n{ない}
ステートメント
オブジェクト
は
SubmergedLandArea
の
instance
では %n は
時点
の
during
holds %n{ない} には
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
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
O
オブジェクト
O は
燃焼
の
instance
では %n
オブジェクト
O は
工程
% の
subprocess
では %n
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 16852-16861
almaMater
人[人間]
and
PostSecondarySchool
工程
工程
は
教育過程
の
instance
では %n
工程
は
人[人間]
に
end
s %n{ない}
eventLocated
工程
and
PostSecondarySchool
Student
は
人[人間]
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
StudioRecording
は
コンテンツベアリングオブジェクト
の
attribute
では %n
コンテンツベアリングオブジェクト
は
Recording
の
instance
では %n
工程
オブジェクト
record
コンテンツベアリングオブジェクト
and
工程
eventLocated
工程
and
オブジェクト
オブジェクト
は
RecordingStudio
の
instance
では %n
(=>
(
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
では %n
オブジェクト
は
Table
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
エンティティー
エンティティー
and
オブジェクト
2
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
AutonomousAgent
は
エンティティー
と
equal
では
エンティティー
は
GroupOfPeople
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
2
工程
の
time
の existence は
エンティティー
の
time
の existence に
meet
s %n{ない}
オブジェクト
は
オブジェクト
2 と
equal
では %n には
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
では %n
認識エージェント
は
TransportationCompany
の
instance
では %n
ServiceProcess
オブジェクト
ServiceProcess
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
eventLocated
ServiceProcess
and
オブジェクト
オブジェクト
は
水域
の
instance
では %n
認識エージェント
は
NorthAmerica
に
located
して %n
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26594-26602
Historical
は
オブジェクト
の
attribute
では %n
オブジェクト
は
都市
の
instance
では %n
オブジェクト
オブジェクト
は
物理
の
instance
では %n
Historical
は
オブジェクト
の
attribute
では %n
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 26159-26171
WheelchairAccessible
は
オブジェクト
の
attribute
では %n
オブジェクト
は
建物
の
instance
では %n
オブジェクト
は
部屋
の
instance
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
motion
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
Wheelchair
の
instance
では %n
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
では %n
AutonomousAgent
は
HumanChild
の
instance
では %n
物理
は
AutonomousAgent
の 目的
Sitting
は
AutonomousAgent
の
attribute
では %n
eventLocated
AutonomousAgent
and
物理
%n{ない}
(=>
(
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
では %n
オブジェクト
は
IntermittentCombustionEngine
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
Explosion
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?CRAFT
WaterVehicle
)
(
instance
?EVENT
Transportation
)
(
instrument
?EVENT ?CRAFT))
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
eventLocated
?EVENT ?WATER))))
Mid-level-ontology.kif 3498-3506
オブジェクト
は
WaterVehicle
の
instance
では %n
工程
は
交通手段
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
オブジェクト
は
水域
の
instance
では %n
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 2471-2482
時間間隔
は
Drought
の
instance
では %n
eventLocated
時間間隔
and
オブジェクト
時間間隔
オブジェクト
時間間隔
は
Raining
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
eventLocated
時間間隔
and
オブジェクト
overlapsSpatially
オブジェクト
and
オブジェクト
時間間隔
は
時間間隔
と
overlap
s %n{dない}
(=>
(
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 1275-1296
工程
は
DustStorm
の
instance
では %n
工程
は
Wind
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
移動
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
実数
は 30.0 より
greater
では %n
移動
は
Translocation
の
instance
では %n
移動
は
工程
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
ParticulateMatter
の
instance
では %n
オブジェクト
は
Sand
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
移動
は
オブジェクト
に
end
s %n{ない}
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 1717-1733
微粒子オブジェクト
は
Exhaust
の
instance
では %n
Fuel
は
微粒子オブジェクト
で
made
%n
移動
は
移動
の
instance
では %n
微粒子オブジェクト
NG は
Engine
の
instance
では %n
移動
は
微粒子オブジェクト
NG から
originate
s %n{ない}
物理
は
CatalyticConverter
の
instance
では %n
移動
は
物理
に
end
s %n{ない}
objectTransferred
移動
and
微粒子オブジェクト
物理
は
エンティティー
エンティティー
は
燃焼
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
微粒子オブジェクト
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
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 2573-2587
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
維持
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
CultivatedLandArea
は
Garden
の
instance
では %n
plantInArea
植物
and
CultivatedLandArea
CultivatedLandArea
は
エンティティー
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
eventLocated
エンティティー
and
CultivatedLandArea
の 目的 %n{ない}
(=>
(
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 655-669
オブジェクト
は
Gene
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
細胞
の
instance
では %n
工程
オブジェクト
and
オブジェクト
工程
は
生物学的プロセス
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
工程
の
result
では %n
オブジェクト
は
Nucleotide
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RNAMolecule
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
(=>
(
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 1579-1592
工程
は
HeavySurf
の
instance
では %n
オブジェクト
は
水域
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
AutonomousAgent
工程
は
水泳
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
hazardous
工程
and
AutonomousAgent
は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
では %n
MiscellaneousStoreRetailers
は
コレクション
の
attribute
では %n
工程
物理
,
エンティティー
,
オブジェクト
and
AutonomousAgent
物理
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
販売
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
RetailStore
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
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
では %n
NonstoreRetailers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
は
エンティティー
に
end
s %n{ない}
エンティティー
は
AutonomousAgent
の
patient
では %n
(=>
(
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 5210-5222
エンティティー
は
ForestProduct
の
instance
では %n
工程
は
製造
の
instance
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
物
の
instance
では %n
工程
オブジェクト
工程
は
Agriculture
の
instance
では %n
エンティティー
は
工程
の
result
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
Forest
の
instance
では %n
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
工程
は
工程
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では %n
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
では %n
オブジェクト
は
DiningRoom
の
instance
では %n
PrivateAttribute
は
オブジェクト
の
attribute
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
工程
は
摂食
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
は
GroupOfPeople
の
instance
では %n
ステートメント
エンティティー
エンティティー
customer
エンティティー
and
AutonomousAgent
認識エージェント
は
エンティティー
と
equal
では
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
eventLocated
エンティティー
and
オブジェクト
は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
工程
は
Aftershock
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
工程
は
EarthTremor
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
の
time
の existence は
工程
の
time
の existence の
before
に happens %n{ない}
(=>
(
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
(
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 1651-1672
工程
は
Tornado
の
instance
では %n
工程
は
Rotating
の
instance
では %n
オブジェクト
は
Air
の
instance
では %n
工程
RAN は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
RAN は
工程
% の
subprocess
では %n
オブジェクト
は
工程
RAN の
patient
では %n プロセス
工程
RAN のエンテテイは
Horizontal
を
moving
して %n
オブジェクト
自己接続オブジェクト
,
工程
OP,
自己接続オブジェクト
,
自己接続オブジェクト
and
自己接続オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
eventLocated
工程
and
オブジェクト
自己接続オブジェクト
は
オブジェクト
の
part
では %n
ConeSegment
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
の
top
は
工程
OP では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
は
Cloud
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
工程
OP は
自己接続オブジェクト
と
meet
s %n{ない}
自己接続オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
時間間隔
は
TwoStrokeCompression
の
instance
では %n
eventLocated
時間間隔
and
オブジェクト
オブジェクト
は
TwoStrokeEngine
の
instance
では %n
時間間隔
時間間隔
は
Explosion
の
instance
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
eventLocated
時間間隔
and
オブジェクト
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