meetsSpatially
(=>
(
and
(
wears
?PERSON ?HAT)
(
instance
?HAT
Hat
))
(
exists
(?HEAD)
(
and
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON)
(
meetsSpatially
?HAT ?HEAD))))
Mid-level-ontology.kif 5150-5158
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
帽子
Object
例
Object
and
頭
部分
Object
and
Animal
空間的符合
可穿戴物品
and
Object
(=>
(
and
(
wears
?PERSON ?SHOE)
(
instance
?SHOE
Shoe
))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?PERSON)
(
meetsSpatially
?SHOE ?FOOT))))
Mid-level-ontology.kif 5184-5192
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
鞋
Object
例
Object
and
足
部分
Object
and
Animal
空間的符合
可穿戴物品
and
Object
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF)))))
Mid-level-ontology.kif 2782-2795
attribute
SelfConnectedObject
and
平面
SelfConnectedObject
SelfConnectedObject
,
RealNumber
,
RealNumber
,
RealNumber
and
UnitOfMeasure
側
SelfConnectedObject
and
SelfConnectedObject
側
SelfConnectedObject
and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
SelfConnectedObject
等於
SelfConnectedObject
and
SelfConnectedObject
例
UnitOfMeasure
and
UnitOfLength
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
乘法
2.0 and
RealNumber
比較多
RealNumber
and
乘法
2.0 and
RealNumber
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF)))))
Mid-level-ontology.kif 2803-2816
attribute
SelfConnectedObject
and
又長又瘦
SelfConnectedObject
SelfConnectedObject
,
RealNumber
,
RealNumber
,
RealNumber
and
UnitOfMeasure
側
SelfConnectedObject
and
SelfConnectedObject
側
SelfConnectedObject
and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
SelfConnectedObject
等於
SelfConnectedObject
and
SelfConnectedObject
例
UnitOfMeasure
and
UnitOfLength
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
length
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
乘法
3.0 and
RealNumber
少於
RealNumber
and
乘法
3.0 and
RealNumber
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
連接的
Object
and
Object
空間的符合
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
等於
Object
and
洞皮
HoleRegion
膚淺的部分
Object
and
洞主持人
HoleRegion
空間的符合
HoleRegion
and
Object
在空間上重疊
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
等於
Object
and
洞皮
HoleRegion
在空間上重疊
Object
and
Object
Object
膚淺的部分
Object
and
洞主持人
HoleRegion
空間的符合
HoleRegion
and
Object
在空間上重疊
Object
and
Object
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
例
GeographicArea
和
GeographicArea
的
border
and
GeographicArea
空間的符合
GeographicArea
and
GeographicArea
(=>
(
instance
?AIR
Atmosphere
)
(
exists
(?BODY)
(
and
(
instance
?BODY
AstronomicalBody
)
(
meetsSpatially
?AIR ?BODY))))
Weather.kif 22-27
例
Object
and
大氣層
Object
例
Object
and
AstronomicalBody
空間的符合
Object
and
Object
(=>
(
instance
?AREA
Continent
)
(
meetsSpatially
?AREA
WorldOcean
))
Geography.kif 4508-4510
例
Object
and
Continent
空間的符合
Object
and
世界海洋
(=>
(
instance
?AREA
LandlockedArea
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
meetsSpatially
?AREA ?LAND))))
Geography.kif 952-957
例
Object
and
內陸地區
Object
例
Object
and
LandArea
空間的符合
Object
and
Object
(=>
(
instance
?AREA
LandlockedArea
)
(
not
(
exists
(?WATER ?SEA)
(
and
(
instance
?WATER
SaltWaterArea
)
(
part
?WATER ?SEA)
(
instance
?SEA
Ocean
)
(
meetsSpatially
?AREA ?WATER)))))
Geography.kif 942-950
例
Object
and
內陸地區
Object
Object
例
Object
and
SaltWaterArea
部分
Object
and
Object
例
Object
and
海洋
空間的符合
Object
and
Object
(=>
(
instance
?AREA
LandlockedArea
)
(
not
(
exists
(?WATER)
(
and
(
instance
?WATER
Ocean
)
(
meetsSpatially
?AREA ?WATER)))))
Geography.kif 934-940
例
Object
and
內陸地區
Object
例
Object
and
海洋
空間的符合
Object
and
Object
(=>
(
instance
?BALCONY
Balcony
)
(
exists
(?WALL ?LANDAREA)
(
and
(
meetsSpatially
?WALL ?BALCONY)
(
instance
?LANDAREA
LandArea
)
(
located
?WALL ?LANDAREA)
(
orientation
?BALCONY ?LANDAREA
Above
))))
Mid-level-ontology.kif 15385-15392
例
Object
and
Balcony
Object
Object
空間的符合
Object
and
Object
例
Object
and
LandArea
位於
Object
and
Object
方位
Object
,
Object
and
以上
(=>
(
instance
?BANK
ShoreArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?BANK ?WATER))))
Merge.kif 14174-14179
例
Object
and
岸區
Object
例
Object
and
WaterArea
空間的符合
Object
and
Object
(=>
(
instance
?Delta
Delta
)
(
exists
(?Mouth)
(
and
(
instance
?Mouth
RiverMouth
)
(
meetsSpatially
?Mouth ?Delta))))
Geography.kif 5782-5787
例
Object
and
三角洲
Object
例
Object
and
河口
空間的符合
Object
and
Object
(=>
(
instance
?F
Furniture
)
(
hasPurpose
?F
(
exists
(?FL)
(
and
(
instance
?FL
Floor
)
(
meetsSpatially
?F ?FL)))))
Mid-level-ontology.kif 3698-3704
例
Physical
and
家具
有目的
Physical
and
Physical
L
例
Physical
L and
地板
空間的符合
Physical
and
Physical
L
(=>
(
instance
?F
PictureFrame
)
(
hasPurpose
?F
(
exists
(?P)
(
and
(
meetsSpatially
?F ?P)
(
or
(
instance
?P
PaintedPicture
)
(
instance
?P
Photograph
))))))
Mid-level-ontology.kif 1545-1553
例
Physical
and
像框
有目的
Physical
and
entity
空間的符合
Physical
and
entity
例
entity
and
畫的圖片
例
entity
and
照片
(=>
(
instance
?FOG
Fog
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
meetsSpatially
?FOG ?LAND))))
Mid-level-ontology.kif 8969-8974
例
Object
and
霧
Object
例
Object
and
LandArea
空間的符合
Object
and
Object
(=>
(
instance
?FROST
Frosting
)
(
exists
(?ICE ?OBJ)
(
and
(
instance
?ICE
Ice
)
(
attribute
?ICE
MonoCrystalline
)
(
patient
?FROST ?ICE)
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Solid
)
(
destination
?FROST ?OBJ)
(
meetsSpatially
?FROST ?OBJ))))
Weather.kif 2782-2792
例
Process
and
Frosting
Object
Object
例
Object
and
冰
attribute
Object
and
MonoCrystalline
患者
Process
and
Object
例
Object
and
Object
attribute
Object
and
固體
目的地
Process
and
Object
空間的符合
Process
and
Object
(=>
(
instance
?G
Gasket
)
(
hasPurpose
?G
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
CorpuscularObject
)
(
meetsSpatially
?O1 ?G)
(
meetsSpatially
?O2 ?G)
(
not
(
exists
(?H ?D ?T ?O)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
Translocation
)
(
path
?T ?H)
(
origin
?T ?O)
(
destination
?T ?D)
(
contains
?O1 ?O)
(
not
(
contains
?O1 ?D))
(
meetsSpatially
?O1 ?D)
(
not
(
exists
(?O3)
(
and
(
contains
?H ?O3)
(
not
(
contains
?O1 ?O3))
(
not
(
contains
?O2 ?O3))))))))))))
Cars.kif 2843-2872
例
Physical
and
Gasket
有目的
Physical
and
entity
entity
例
entity
and
CorpuscularObject
例
entity
and
CorpuscularObject
空間的符合
entity
and
Physical
空間的符合
entity
and
Physical
entity
entity
,
entity
and
entity
例
entity
and
HoleRegion
等於
Physical
and
洞主持人
entity
例
entity
and
易位
路徑
entity
and
entity
起源
entity
and
entity
目的地
entity
and
entity
包含
entity
and
entity
包含
entity
and
entity
空間的符合
entity
and
entity
entity
包含
entity
and
entity
包含
entity
and
entity
包含
entity
and
entity
(=>
(
instance
?H
Hanging
)
(
exists
(?S ?N ?P)
(
and
(
instance
?P
Human
)
(
instance
?S
String
)
(
instance
?N
Neck
)
(
experiencer
?H ?P)
(
properPart
?N ?P)
(
instrument
?H ?S)
(
holdsDuring
(
WhenFn
?H)
(
meetsSpatially
?S ?N)))))
Mid-level-ontology.kif 18477-18488
例
Process
and
掛
Object
Object
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
Object
and
串
例
Object
and
頸部
體驗者
Process
and
AutonomousAgent
適當的部分
Object
and
AutonomousAgent
儀器
Process
and
Object
持有期間
何時
Process
and
空間的符合
Object
and
Object
(=>
(
instance
?ICING
Icing
)
(
exists
(?ICE ?OBJ)
(
and
(
instance
?ICE
Ice
)
(
attribute
?ICE
PolyCrystalline
)
(
patient
?ICING ?ICE)
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Solid
)
(
destination
?ICING ?OBJ)
(
meetsSpatially
?ICE ?OBJ))))
Weather.kif 2514-2524
例
Process
and
刨冰
Object
Object
例
Object
and
冰
attribute
Object
and
PolyCrystalline
患者
Process
and
Object
例
Object
and
Object
attribute
Object
and
固體
目的地
Process
and
Object
空間的符合
Object
and
Object
(=>
(
instance
?ISLAND
Island
)
(
not
(
exists
(?AREA ?PART1 ?PART2)
(
and
(
instance
?AREA
LandArea
)
(
part
?PART1 ?ISLAND)
(
part
?PART2 ?AREA)
(
not
(
part
?ISLAND ?AREA))
(
not
(
part
?AREA ?ISLAND))
(
meetsSpatially
?PART1 ?PART2)))))
Merge.kif 14194-14206
例
Object
and
Island
Object
Object
and
Object
例
Object
and
LandArea
部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
空間的符合
Object
and
Object
(=>
(
instance
?ISLE
Island
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?ISLE ?WATER))))
Merge.kif 14216-14221
例
Object
and
Island
Object
例
Object
and
WaterArea
空間的符合
Object
and
Object
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