orientation
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
Suite
は
オブジェクト
の
attribute
では %n
オブジェクト
は
HotelUnit
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
は
Inside
対
オブジェクト
では %n
オブジェクト
は
Inside
対
オブジェクト
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
と
connected
して
オブジェクト
は
Above
対
自己接続オブジェクト
では %n
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
オブジェクト
は
BodyAreaFn
体の部分
の
instance
では %n
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
Near
対
オブジェクト
では %n
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 14979-14990
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
BodySideFn
AntiSymmetricPositionalAttribute
and
体の部分
の
instance
では %n
AntiSymmetricPositionalAttribute
は
AntiSymmetricPositionalAttribute
O の
disjoint
では %n
Healthy
は
オブジェクト
の
attribute
では %n
オブジェクト
O
オブジェクト
O は
BodySideFn
AntiSymmetricPositionalAttribute
O and
体の部分
の
instance
では %n
オブジェクト
は
AntiSymmetricPositionalAttribute
対
オブジェクト
O では %n
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
工程
は
InPersonCommunication
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
と
equal
では
AutonomousAgent
は
Near
対
AutonomousAgent
では %n は
工程
の
during
holds %n{ない}
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 12930-12941
オブジェクト
は
Chin
の
instance
では %n
オブジェクト
は
Face
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
Below
対
オブジェクト
では %n
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
工程
は
Dismounting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
On
対
エンティティー
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
On
対
エンティティー
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
方向属性
は
方向属性
の
instance
では %n
地理的地域
は
地理的地域
の
instance
では %n
DirectionalSubregionFn
方向属性
and
地理的地域
は
地理的地域
の
instance
では %n
DirectionalSubregionFn
方向属性
and
地理的地域
は
方向属性
対
GeographicCenterFn
地理的地域
では %n
(=>
(
and
(
instance
?DROP
Falling
)
(
origin
?DROP ?START)
(
destination
?DROP ?FINISH))
(
orientation
?FINISH ?START
Below
))
Merge.kif 11587-11592
工程
は
Falling
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
Below
対
オブジェクト
では %n
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1439-1448
オブジェクト
は
Eyebrow
の
instance
では %n
Healthy
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
YE
オブジェクト
YE は
Eye
の
instance
では %n
オブジェクト
YE は
オブジェクト
の
part
では %n
オブジェクト
YE は
Near
対
オブジェクト
では %n
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
オブジェクト
は
Eyebrow
の
instance
では %n
Healthy
は
オブジェクト
の
attribute
では %n
Standing
は
オブジェクト
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
YE
オブジェクト
YE は
Eye
の
instance
では %n
オブジェクト
YE は
オブジェクト
の
part
では %n
オブジェクト
は
Above
対
オブジェクト
YE では %n
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
オブジェクト
は
Forehead
の
instance
では %n
Healthy
は
オブジェクト
の
attribute
では %n
Standing
は
オブジェクト
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
YE
オブジェクト
YE は
Eye
の
instance
では %n
オブジェクト
YE は
オブジェクト
の
part
では %n
オブジェクト
は
Above
対
オブジェクト
YE では %n
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
水域
は
Waterfall
の
instance
では %n
WaterMotion
は
WaterMotion
の
instance
では %n
flowCurrent
WaterMotion
and
水域
WaterMotion
は
オブジェクト
から
originate
s %n{ない}
WaterMotion
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
Above
対
オブジェクト
では %n
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
オブジェクト
は
大陸
の
instance
では %n
オブジェクト
は
Antarctica
と
equal
では
Antarctica
は
South
対
オブジェクト
では %n
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 469-480
工程
は
Mounting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
On
対
エンティティー
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
On
対
エンティティー
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?MEET
Meeting
)
(
agent
?MEET ?AGENT1)
(
agent
?MEET ?AGENT2))
(
holdsDuring
(
WhenFn
?MEET)
(
orientation
?AGENT1 ?AGENT2
Near
)))
Merge.kif 13282-13287
工程
は
会合
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
Near
対
AutonomousAgent
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?MID
MiddleCIButton
)
(
component
?MID ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT ?RIGHT)
(
and
(
instance
?RIGHT
RightCIButton
)
(
instance
?LEFT
LeftCIButton
)
(
component
?RIGHT ?DEV)
(
component
?LEFT ?DEV)
(
between
?LEFT ?MID ?RIGHT)
(
orientation
?MID ?LEFT
Left
)
(
orientation
?MID ?RIGHT
Right
))))
ComputerInput.kif 224-237
微粒子オブジェクト
は
MiddleCIButton
の
instance
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
微粒子オブジェクト
は
ComputerInputDevice
の
instance
では %n
微粒子オブジェクト
微粒子オブジェクト
微粒子オブジェクト
は
RightCIButton
の
instance
では %n
微粒子オブジェクト
は
LeftCIButton
の
instance
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
微粒子オブジェクト
は
微粒子オブジェクト
と
微粒子オブジェクト
の
between
では %n
微粒子オブジェクト
は
Left
対
微粒子オブジェクト
では %n
微粒子オブジェクト
は
Right
対
微粒子オブジェクト
では %n
(=>
(
and
(
instance
?P
AntiSymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
not
(
orientation
?O2 ?O1 ?P)))
Merge.kif 17065-17069
位置属性
は
AntiSymmetricPositionalAttribute
の
instance
では %n
オブジェクト
は
位置属性
対
オブジェクト
では %n
オブジェクト
は
位置属性
対
オブジェクト
では
(=>
(
and
(
instance
?P
SymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
orientation
?O2 ?O1 ?P))
Merge.kif 17054-17058
位置属性
は
SymmetricPositionalAttribute
の
instance
では %n
オブジェクト
は
位置属性
対
オブジェクト
では %n
オブジェクト
は
位置属性
対
オブジェクト
では %n
(=>
(
and
(
instance
?RIGHT
PhysicalRightCIButton
)
(
component
?RIGHT ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT)
(
and
(
instance
?LEFT
PhysicalLeftCIButton
)
(
component
?LEFT ?DEV)
(
orientation
?RIGHT ?LEFT
Left
))))
ComputerInput.kif 204-213
微粒子オブジェクト
は
PhysicalRightCIButton
の
instance
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
微粒子オブジェクト
は
ComputerInputDevice
の
instance
では %n
微粒子オブジェクト
微粒子オブジェクト
は
PhysicalLeftCIButton
の
instance
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
微粒子オブジェクト
は
Left
対
微粒子オブジェクト
では %n
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM))
(
exists
(?PL)
(
and
(
instance
?PL
ParkingLot
)
(
orientation
?RS1 ?PL
Adjacent
))))
Medicine.kif 5147-5155
オブジェクト
は
StripMall
の
instance
では %n
オブジェクト
は
RetailStore
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ParkingLot
の
instance
では %n
オブジェクト
は
Adjacent
対
オブジェクト
では %n
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
エンティティー
は
PlantStem
の
instance
では %n
エンティティー
は
PlantRoot
の
instance
では %n
ステートメント
エンティティー
は
Above
対
エンティティー
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
移動
は
Thoracentesis
の
instance
では %n
オブジェクト
は
移動
の
patient
では %n
移動
オブジェクト
,
移動
N,
オブジェクト
,
オブジェクト
and
オブジェクト
移動
は
Inserting
の
instance
では %n
移動
は
移動
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
から
originate
s %n{ない}
移動
は
移動
N に
end
s %n{ない}
オブジェクト
は
Needle
の
instance
では %n
Fluid
は
オブジェクト
の
attribute
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
Chest
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
移動
は
移動
N から
originate
s %n{ない}
移動
は
オブジェクト
に
end
s %n{ない}
移動
N は
オブジェクト
と
オブジェクト
の
between
では %n
オブジェクト
は
Outside
対
オブジェクト
では %n
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
オブジェクト
は
VentedChestSeal
の
instance
では %n
移動
は
取付け
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
移動
エンティティー
,
エンティティー
and
エンティティー
移動
は
Air
の
instance
では %n
エンティティー
は
Lung
の
instance
では %n
エンティティー
は
Chest
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
移動
は
エンティティー
と
エンティティー
の
between
では %n は
移動
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
移動
は
Outside
対
エンティティー
では %n は
移動
の
time
の existence の すぐ
after
の
during
holds %n{ない} の 目的 %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
命題
は
Argument
の
instance
では %n
工程
は
推理
の
instance
では %n
命題
は
Archeology
の
instance
では %n
命題
は
命題
の
sub
-proposition では %n
工程
は
命題
の内容を
express
es %n{ない}
工程
エンティティー
,
物理
,
実数
,
エンティティー
and
エンティティー
工程
は
Discovering
の
instance
では %n
物理
は
オブジェクト
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
は
工程
への
reference
を includes %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は 50 より
greater
では %n
エンティティー
は
エンティティー
の
surface
では %n
エンティティー
は
BodyOfWater
の
instance
では %n
物理
は
Below
対
エンティティー
では %n
エンティティー
は
エンティティー
の
surface
では %n
エンティティー
は
土地面積
の
instance
では %n
物理
は
Below
対
エンティティー
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
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