eventLocated
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U ?SWH)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
UnitOfLength
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 1532-1547
WaterWave
は
WaterWave
の
instance
では %n
waveHeight
WaterWave
and
長さ測定
リスト
水域
,
測定単位
and
実数
長さ測定
は
リスト
の
member
では %n
水域
は
水域
の
instance
では %n
eventLocated
WaterWave
and
水域
測定単位
は
UnitOfLength
の
instance
では %n
significantWaveHeight
水域
,
WaterWave
の
time
の existence and
実数
の
測定単位
(s)
実数
は 4.0 +
StandardDeviationFn
リスト
と
equal
では %n
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
工程
は
BreakingRecord
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
セット
クラス
,
工程
,
時点
,
格役割
,
オブジェクト
and
エンティティー
セット
は
セット
の
instance
では %n
AutonomousAgent
は
セット
の
element
%n
クラス
は
工程
の
subclass
では %n
オブジェクト
は
地域
の
instance
では %n
時点
は
時点
の
instance
では %n
エンティティー
は
量
の
instance
では %n
工程
は
クラス
の
instance
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
工程
への
reference
を includes %n{ない}
playsRoleInEvent
AutonomousAgent
,
格役割
and
工程
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
エンティティー
は
セット
の
instance
では %n
エンティティー
は
AutonomousAgent
と
equal
では
エンティティー
は
クラス
の
instance
では %n
playsRoleInEvent
エンティティー
,
格役割
and
エンティティー
eventLocated
エンティティー
and
オブジェクト
は
時点
と
工程
の
time
の existence の
end
の
interval
の
during
holds %n{ない}
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
オブジェクト
は
FireAlarm
の
instance
では %n
DeviceOn
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
に
located
して %n
工程
工程
は
放射音
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n
エンティティー
は
エンティティー
エンティティー
は
Fire
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
を
know
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
物理
は
SurveillanceSystem
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
Camera
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
equal
では
コレクション
は
VideoDisplay
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
を
express
es %n{ない}
Camera
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
放射光
の
instance
では %n
コレクション
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
beginning
は
エンティティー
の
beginning
の
before
に happens %n{ない}
エンティティー
の
beginning
は
エンティティー
の
beginning
の
before
に happens %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
ServiceProcess
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
CoastalAndGreatLakesFreightTransportation
は
認識エージェント
の
attribute
では %n
工程
オブジェクト
and
地理的地域
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
WaterTransportation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
CargoShip
の
instance
では %n
eventLocated
工程
and
地理的地域
地理的地域
は
水域
の
instance
では %n
geographicSubregion
地理的地域
and
UnitedStates
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
ServiceProcess
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
CoastalAndGreatLakesPassengerTransportation
は
認識エージェント
の
attribute
では %n
工程
オブジェクト
and
地理的地域
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
WaterTransportation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
PassengerShip
の
instance
では %n
eventLocated
工程
and
地理的地域
地理的地域
は
水域
の
instance
では %n
geographicSubregion
地理的地域
and
UnitedStates
エンティティー
エンティティー
は
ShortSeaPassengerShip
の
instance
では %n
オブジェクト
は
エンティティー
と
equal
では %n
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaFreightTransportation
))
(
exists
(?FREIGHT ?SHIP)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT
WorldOcean
))))
naics.kif 8139-8150
ServiceProcess
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
DeepSeaFreightTransportation
は
認識エージェント
の
attribute
では %n
工程
オブジェクト
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
WaterTransportation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
CargoShip
の
instance
では %n
eventLocated
工程
and
WorldOcean
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaPassengerTransportation
))
(
exists
(?CRUISE ?SHIP)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE
WorldOcean
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8159-8175
ServiceProcess
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
DeepSeaPassengerTransportation
は
認識エージェント
の
attribute
では %n
工程
オブジェクト
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
WaterTransportation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
PassengerShip
の
instance
では %n
eventLocated
工程
and
WorldOcean
エンティティー
エンティティー
は
ShortSeaPassengerShip
の
instance
では %n
オブジェクト
は
エンティティー
と
equal
では %n
(=>
(
and
(
locationMeasuringList
?LIST ?PLACE)
(
inList
?M ?LIST))
(
and
(
instance
?M
Measuring
)
(
eventLocated
?M ?PLACE)))
Weather.kif 1769-1775
locationMeasuringList
MeasuringList
and
地理的地域
工程
は
MeasuringList
の
member
では %n
工程
は
計測
の
instance
では %n
eventLocated
工程
and
地理的地域
(=>
(
and
(
prevents
?X ?P)
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
not
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?P)
(
eventLocated
?Y ?L))))))
Merge.kif 4376-4386
工程
は
工程
の出来事を
prevent
s %n{ない}
工程
の
time
の existence は
時間間隔
と
equal
では %n
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
は
時間間隔
の
during
hold ない
(=>
(
and
(
secretesSubstance
?O ?S)
(
instance
?I1 ?O))
(
exists
(?P ?I2)
(
and
(
instance
?P
BiologicalProcess
)
(
eventLocated
?P ?I1)
(
result
?P ?I2)
(
instance
?I2 ?S))))
Mid-level-ontology.kif 12211-12220
secretesSubstance
有機物
and
NaturalSubstance
オブジェクト
は
有機物
の
instance
では %n
工程
エンティティー
工程
は
生物学的プロセス
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
工程
の
result
では %n
エンティティー
は
NaturalSubstance
の
instance
では %n
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2709-2726
visibilityInMeteorology
地域
,
時間間隔
and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
工程
AutonomousAgent
,
オブジェクト
and
実数
工程
は
Looking
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
Horizontal
対
オブジェクト
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
eventLocated
工程
and
地域
AutonomousAgent
と
オブジェクト
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
FertileTerrain
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Agriculture
を
eventLocated
として行う
capable
では %n
(=>
(
attribute
?H
Emphysema
)
(
exists
(?L ?P)
(
and
(
instance
?L
Alveolus
)
(
part
?L ?H)
(
instance
?P
PathologicProcess
)
(
eventLocated
?P ?L))))
Mid-level-ontology.kif 6004-6011
Emphysema
は
オブジェクト
の
attribute
では %n
オブジェクト
工程
オブジェクト
は
Alveolus
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
病理学的プロセス
の
instance
では %n
eventLocated
工程
and
オブジェクト
(=>
(
attribute
?H
Goiter
)
(
exists
(?G ?P)
(
and
(
instance
?G
ThyroidGland
)
(
part
?G ?H)
(
instance
?P
PathologicProcess
)
(
eventLocated
?P ?G))))
Mid-level-ontology.kif 6175-6182
Goiter
は
オブジェクト
の
attribute
では %n
オブジェクト
工程
オブジェクト
は
ThyroidGland
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
病理学的プロセス
の
instance
では %n
eventLocated
工程
and
オブジェクト
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
BarberShops
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Hair
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
切断
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
を
employ
s %n{ない} の 目的 %n{ない}
(=>
(
baptizedplace
?PERSON ?PLACE)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
eventLocated
?BAPTISM ?PLACE))))
Biography.kif 192-198
baptizedplace
人[人間]
and
地域
工程
工程
は
Baptizing
の
instance
では %n
人[人間]
が
工程
を
experience
s %n{ない}
eventLocated
工程
and
地域
(=>
(
birthplace
?INDIV ?PLACE)
(
exists
(?BIRTH)
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIV)
(
eventLocated
?BIRTH ?PLACE))))
Mid-level-ontology.kif 24256-24262
birthplace
動物
and
オブジェクト
工程
工程
は
出生
の
instance
では %n
動物
が
工程
を
experience
s %n{ない}
eventLocated
工程
and
オブジェクト
(=>
(
burialplace
?INDIV ?PLACE)
(
exists
(?BURIAL)
(
and
(
instance
?BURIAL
Burial
)
(
patient
?BURIAL ?INDIV)
(
eventLocated
?BURIAL ?PLACE))))
Biography.kif 208-214
burialplace
動物
and
オブジェクト
工程
工程
は
Burial
の
instance
では %n
動物
は
工程
の
patient
では %n
eventLocated
工程
and
オブジェクト
(=>
(
deathplace
?P ?L)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
eventLocated
?D ?L))))
Mid-level-ontology.kif 24300-24306
deathplace
動物
and
オブジェクト
工程
工程
は
死
の
instance
では %n
動物
が
工程
を
experience
s %n{ない}
eventLocated
工程
and
オブジェクト
(=>
(
environmentalProblemTypeInArea
?AREA ?PROBLEM)
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?PROBLEM)
(
eventLocated
?EVENT ?AREA))))
Geography.kif 2463-2468
environmentalProblemTypeInArea
地理的地域
and
物理
工程
工程
は
物理
の
instance
では %n
eventLocated
工程
and
地理的地域
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
eventLocated
工程
and
オブジェクト
工程
工程
は
工程
% の
subprocess
では %n
eventLocated
工程
and
オブジェクト
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
eventPartlyLocated
工程
and
オブジェクト
工程
工程
は
工程
% の
subprocess
では %n
eventLocated
工程
and
オブジェクト
(=>
(
hinders
?X ?PROC)
(
exists
(?L ?T)
(
decreasesLikelihood
(
and
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?PROC)
(
eventLocated
?Y ?L)))))))
Merge.kif 4399-4410
hinders
工程
and
工程
エンティティー
エンティティー
工程
の
time
の existence は
エンティティー
と
equal
では %n
eventLocated
工程
and
エンティティー
は
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
エンティティー
は
エンティティー
の
during
holds %n{ない} を
decrease
s 可能性がある
(=>
(
hindersSubclass
?PROC1 ?PROC2)
(
forall
(?TIME ?PLACE)
(
decreasesLikelihood
(
holdsDuring
?TIME
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
eventLocated
?INST1 ?PLACE))))
(
holdsDuring
?TIME
(
exists
(?INST2)
(
and
(
instance
?INST2 ?PROC2)
(
eventLocated
?INST2 ?PLACE)))))))
Merge.kif 4319-4332
hindersSubclass
工程
and
工程
エンティティー
エンティティー
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
エンティティー
は
エンティティー
の
during
holds %n{ない} は
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
エンティティー
は
エンティティー
の
during
holds %n{ない} を
decrease
s 可能性がある
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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