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
meetsSpatially
Sigma KEE - meetsSpatially
meetsSpatially
appearance as argument number 1
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9610-9610
不相交的關係
空間的符合
and
在空間上重疊
(
documentation
meetsSpatially
ChineseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2)得意思是 ?OBJ1 和 ?OBJ2 是
connected
的但是 ?OBJ1 或 ?OBJ2 都没有跟对方
overlapsSpatially
。")
chinese_format.kif 2828-2829
(
documentation
meetsSpatially
EnglishLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are
connected
but that neither ?OBJ1 nor ?OBJ2
overlapsSpatially
the other.")
Merge.kif 9612-9614
(
documentation
meetsSpatially
JapaneseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は
connected
だが、?OBJ1 も ?OBJ2 も
overlapsSpatially
ではないという意味であ る。")
japanese_format.kif 1570-1572
(
domain
meetsSpatially
1
Object
)
Merge.kif 9604-9604
域
空間的符合
, 1 and
Object
(
domain
meetsSpatially
2
Object
)
Merge.kif 9605-9605
域
空間的符合
, 2 and
Object
(
instance
meetsSpatially
BinaryPredicate
)
Merge.kif 9609-9609
例
空間的符合
and
BinaryPredicate
(
instance
meetsSpatially
IrreflexiveRelation
)
Merge.kif 9607-9607
例
空間的符合
and
IrreflexiveRelation
(
instance
meetsSpatially
SymmetricRelation
)
Merge.kif 9608-9608
例
空間的符合
and
SymmetricRelation
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9606-9606
相關的內部概念
空間的符合
and
連接的
appearance as argument number 2
(
format
ChineseLanguage
meetsSpatially
"%1 %n 接上 %2")
chinese_format.kif 365-365
(
format
EnglishLanguage
meetsSpatially
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 368-368
(
format
FrenchLanguage
meetsSpatially
"%1 %n{ne} rencontre %n{pas} %2")
french_format.kif 211-211
(
format
ItalianLanguage
meetsSpatially
"%1 %n{non} incontra%p{s} %2")
relations-it.txt 179-179
(
format
JapaneseLanguage
meetsSpatially
"%1 は %2 と meet%p{s} %n{ない}")
japanese_format.kif 2018-2018
(
format
PortugueseLanguage
meetsSpatially
"%1 %n{nao} encontra %n %2")
portuguese_format.kif 163-163
(
format
cz
meetsSpatially
"%1 se %n{ne}dot�k� %2")
relations-cz.txt 218-218
(
format
de
meetsSpatially
"%1 schliesst %2 raeumlich %n{nicht} an")
relations-de.txt 486-486
(
format
hi
meetsSpatially
"%1 %2 se %n{nahiin} milataa hai")
relations-hindi.txt 217-217
(
format
ro
meetsSpatially
"%1 %n{nu} meet%t{întâlneºte} %2")
relations-ro.kif 231-231
(
format
sv
meetsSpatially
"%1 möter %n{inte} %2")
relations-sv.txt 228-228
(
format
tg
meetsSpatially
"%1 %n ay sumali sa %2")
relations-tg.txt 354-354
(
subrelation
grasps
meetsSpatially
)
Merge.kif 11540-11540
子關係
掌握
and
空間的符合
(
termFormat
ChineseLanguage
meetsSpatially
"接触")
chinese_format.kif 366-366
(
termFormat
ChineseLanguage
meetsSpatially
"空间的符合")
domainEnglishFormat.kif 36917-36917
(
termFormat
ChineseTraditionalLanguage
meetsSpatially
"空間的符合")
domainEnglishFormat.kif 36916-36916
(
termFormat
EnglishLanguage
meetsSpatially
"meets spatially")
domainEnglishFormat.kif 36915-36915
(
termFormat
tg
meetsSpatially
"sa tabi ng")
relations-tg.txt 355-355
antecedent
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6225-6238
allergic
Human
and
Substance
例
Substance
UB and
Substance
持有期間
TimePosition
and
空間的符合
Substance
UB and
Human
模態屬性
entity
例
entity
and
AllergicReaction
體驗者
entity
and
Human
暫時重疊
TimePosition
and
何時
entity
之前
開始
TimePosition
and
開始
何時
entity
and
容易
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
持有期間
TimePosition
and
attribute
Object
and
LateralRecumbant
方位
Object
,
Object
and
上
例
Object
and
LeftArm
部分
Object
and
Object
例
Object
and
RightArm
部分
Object
and
Object
例
Object
and
LeftLeg
部分
Object
and
Object
例
Object
and
RightLeg
部分
Object
and
Object
空間的符合
Object
and
Object
空間的符合
Object
and
Object
持有期間
TimePosition
and
空間的符合
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
持有期間
TimePosition
and
attribute
Object
and
LateralRecumbant
方位
Object
,
Object
and
上
例
Object
and
LeftArm
部分
Object
and
Object
例
Object
and
RightArm
部分
Object
and
Object
例
Object
and
LeftLeg
部分
Object
and
Object
例
Object
and
RightLeg
部分
Object
and
Object
空間的符合
Object
and
Object
空間的符合
Object
and
Object
持有期間
TimePosition
and
空間的符合
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
例
Object
and
盔甲
部分
Object
and
Object
空間的符合
Object
and
Object
有目的
Object
and
entity
例
entity
and
Maintaining
儀器
entity
and
Object
體驗者
entity
and
Object
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
例
Object
and
盔甲
部分
Object
and
Object
空間的符合
Object
and
Object
有目的
Object
and
entity
例
entity
and
Damaging
儀器
entity
and
Object
體驗者
entity
and
Object
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5010-5019
例
Object
and
氣泡
Object
Attribute
attribute
Object
and
Attribute
等於
Object
and
加油站
空間的符合
Object
and
Object
attribute
Object
and
中凸的圓形
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 737-747
例
Process
and
颶風
Process
是
located
在
Object
例
Object
and
GeographicArea
位於
Object
and
Object
空間的符合
Object
and
Object
等於
Object
and
NortheasternPacificOcean
等於
Object
and
北大西洋
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
FreshWaterArea
))
(
instance
?INLET
FreshWaterArea
))
Geography.kif 5246-5251
例
Object
and
進口
空間的符合
Object
and
Object
例
Object
and
FreshWaterArea
例
Object
and
FreshWaterArea
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
SaltWaterArea
))
(
instance
?INLET
SaltWaterArea
))
Geography.kif 5239-5244
例
Object
and
進口
空間的符合
Object
and
Object
例
Object
and
SaltWaterArea
例
Object
and
SaltWaterArea
(=>
(
and
(
instance
?ISLE
Island
)
(
instance
?AREA
GeographicArea
)
(
meetsSpatially
?ISLE ?AREA))
(
not
(
instance
?AREA
LandArea
)))
Merge.kif 14254-14260
例
Object
and
Island
例
Object
and
GeographicArea
空間的符合
Object
and
Object
例
Object
and
LandArea
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
例
GeographicArea
and
海運貨架區
例
Object
and
大陸棚
例
AutonomousAgent
and
Nation
空間的符合
Object
and
AutonomousAgent
AutonomousAgent
是
GeographicArea
的
claimed
領土
在空間上重疊
GeographicArea
and
Object
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17985-18010
relativeAngle
Object
,
Object
and
RealNumber
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
等於
RealNumber
and
ArcCosineFn
部
減法
減法
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
2.0 and
乘法
RealNumber
and
RealNumber
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
空間的符合
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
meetsSpatially
?OBJECT1 ?OBJECT2)
(
orientation
?OBJECT1 ?OBJECT2
Adjacent
))
Transportation.kif 864-866
空間的符合
Object
and
Object
方位
Object
,
Object
and
鄰
(=>
(
meetsSpatially
?X ?Y)
(
orientation
?X ?Y
Adjacent
))
Geography.kif 6163-6165
空間的符合
Object
and
Object
方位
Object
,
Object
and
鄰
consequent
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4071-4088
attribute
Object
and
幾何圖
例
Object
and
FourPosterBed
例
幾何圖
and
四邊形
圖的一面
一維圖
and
幾何圖
圖的一面
一維圖
and
幾何圖
等於
一維圖
and
一維圖
Object
Object
,
幾何點
and
Object
部分
Object
and
Object
例
Object
and
地板
方位
Object
,
Object
and
上
方位
Object
,
Object
and
垂直
一維圖
是 對於
幾何點
的 交接點
一維圖
attribute
Object
and
幾何點
空間的符合
Object
and
Object
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Merge.kif 15957-15961
covers
Object
and
Object
膚淺的部分
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
持有期間
TimePosition
and
attribute
Object
and
LateralRecumbant
方位
Object
,
Object
and
上
例
Object
and
LeftArm
部分
Object
and
Object
例
Object
and
RightArm
部分
Object
and
Object
例
Object
and
LeftLeg
部分
Object
and
Object
例
Object
and
RightLeg
部分
Object
and
Object
空間的符合
Object
and
Object
空間的符合
Object
and
Object
持有期間
TimePosition
and
空間的符合
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
持有期間
TimePosition
and
attribute
Object
and
LateralRecumbant
方位
Object
,
Object
and
上
例
Object
and
LeftArm
部分
Object
and
Object
例
Object
and
RightArm
部分
Object
and
Object
例
Object
and
LeftLeg
部分
Object
and
Object
例
Object
and
RightLeg
部分
Object
and
Object
空間的符合
Object
and
Object
空間的符合
Object
and
Object
持有期間
TimePosition
and
空間的符合
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Prone
)
(
orientation
?H ?O
On
)))
(
instance
?C
Chest
)
(
part
?C ?H))
(
meetsSpatially
?C ?O))
Anatomy.kif 1799-1807
持有期間
TimePosition
and
attribute
Object
and
Prone
方位
Object
,
Object
and
上
例
Object
and
Chest
部分
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Supine
)
(
orientation
?H ?O
On
)))
(
equal
?B
(
BackFn
?H)))
(
meetsSpatially
?B ?O))
Anatomy.kif 1814-1821
持有期間
TimePosition
and
attribute
SelfConnectedObject
and
Supine
方位
SelfConnectedObject
,
Object
and
上
等於
SelfConnectedObject
and
背部
SelfConnectedObject
空間的符合
SelfConnectedObject
and
Object
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 22070-22077
例
Object
and
刀片
例
Process
and
Cutting
例
Object
and
Object
儀器
Process
and
Object
患者
Process
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1747-1767
例
Physical
and
Cavitating
例
SelfConnectedObject
and
泵
attribute
SelfConnectedObject
and
設備上
attribute
Object
and
液體
包含
SelfConnectedObject
and
Object
SelfConnectedObject
P
entity
部分
SelfConnectedObject
P and
SelfConnectedObject
有目的
SelfConnectedObject
P and
attribute
entity
and
液體
空間的符合
entity
and
SelfConnectedObject
P
持有期間
何時
Physical
and
entity
attribute
entity
and
液體
空間的符合
SelfConnectedObject
P and
entity
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
例
Object
and
Crystal
attribute
Object
and
MonoCrystalline
例
SelfConnectedObject
and
Substance
attribute
SelfConnectedObject
and
固體
attribute
SelfConnectedObject
and
PolyCrystalline
例
SelfConnectedObject
and
Substance
表面
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
Object
LNT
Integer
and
Object
例
Object
LNT and
Collection
Integer
是
Object
LNT 的
member
計數
大於或等於
Integer
and 4
會員
Object
and
Object
LNT
部分
Object
and
SelfConnectedObject
空間的符合
Object
and
Object
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9975-9983
例
Object
and
HoleRegion
適當的部分
Object
and
Object
Object
空間的符合
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?P)
(
and
(
part
?P ?H)
(
meetsSpatially
?P ?HR))))
Cars.kif 4272-4284
例
Object
and
捲軸
例
Process
and
Keeping
例
Object
and
CorpuscularObject
attribute
Object
and
又長又瘦
attribute
Object
and
易彎的
儀器
Process
and
Object
患者
Process
and
Object
Object
部分
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
例
SelfConnectedObject
and
地峽
側
SelfConnectedObject
and
SelfConnectedObject
側
SelfConnectedObject
and
SelfConnectedObject
等於
SelfConnectedObject
and
SelfConnectedObject
Object
Object
,
Object
and
Object
例
Object
and
LandArea
例
Object
and
LandArea
之間
Object
,
SelfConnectedObject
and
Object
例
Object
and
WaterArea
例
Object
and
WaterArea
空間的符合
SelfConnectedObject
and
Object
空間的符合
SelfConnectedObject
and
Object
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
例
Object
and
LeafSpring
部分
Object
and
Object
例
Object
and
公路車輛
模態屬性
Object
例
Object
and
LeafSpring
部分
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
and
容易
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
例
SelfConnectedObject
and
LiquidDrop
表面
SelfConnectedObject
and
SelfConnectedObject
模態屬性
SelfConnectedObject
S
entity
例
entity
and
Substance
attribute
entity
and
液體
等於
SelfConnectedObject
and
entity
表面
SelfConnectedObject
S and
entity
空間的符合
SelfConnectedObject
and
SelfConnectedObject
S and
較不可能
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4814-4828
例
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
中凸的圓形
表面
SelfConnectedObject
and
SelfConnectedObject
例
SelfConnectedObject
and
二維物體
幾何點
部分
幾何點
and
SelfConnectedObject
attribute
幾何點
and
幾何點
點圖
幾何點
and
SelfConnectedObject
空間的符合
幾何點
and
SelfConnectedObject
空間的符合
幾何點
and
SelfConnectedObject
一維圖
切線
一維圖
and
SelfConnectedObject
(=>
(
and
(
instance
?Range
MountainRange
)
(
part
?Mountain1 ?Range))
(
exists
(?Mountain2)
(
and
(
component
?Mountain2 ?Range)
(
instance
?Mountain2
Mountain
)
(
meetsSpatially
?Mountain1 ?Mountain2))))
Geography.kif 4016-4024
例
CorpuscularObject
and
山脈
部分
Object
and
CorpuscularObject
CorpuscularObject
零件
CorpuscularObject
and
CorpuscularObject
例
CorpuscularObject
and
山
空間的符合
Object
and
CorpuscularObject
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18177-18211
例
Object
and
鋸
例
Process
and
Cutting
儀器
Process
and
Object
例
Object
and
Object
患者
Process
and
Object
Process
Entity
,
Entity
,
TimeInterval
,
TimePosition
,
TimePosition
and
Object
例
Process
and
Motion
子過程
Process
and
Process
例
Object
and
切割裝置
部分
Object
and
Object
空間的符合
Object
and
Object
患者
Process
and
Object
例
TimePosition
and
TimeInterval
例
TimePosition
and
TimeInterval
等於
何時
Process
and
TimeInterval
時間部分
TimeInterval
and
TimePosition
時間部分
TimeInterval
and
TimePosition
例
Entity
and
DirectionalAttribute
例
Entity
and
DirectionalAttribute
持有期間
TimePosition
and
方向
Process
and
Entity
持有期間
TimePosition
and
方向
Process
and
Entity
等於
Entity
and
Entity
Entity
是
Entity
的
opposite
方向 ~{
等於
Entity
and
Entity
} ~{
Entity
是
Entity
的
opposite
方向 }
(=>
(
and
(
instance
?SHORE
ShoreArea
)
(
instance
?WATER
WaterArea
)
(
orientation
?SHORE ?WATER
Adjacent
))
(
exists
(?LINE)
(
and
(
instance
?LINE
Shoreline
)
(
part
?LINE ?SHORE)
(
meetsSpatially
?LINE ?WATER))))
Geography.kif 6152-6161
例
Object
and
岸區
例
Object
and
WaterArea
方位
Object
,
Object
and
鄰
Object
例
Object
and
海岸線
部分
Object
and
Object
空間的符合
Object
and
Object
(=>
(
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 1634-1655
例
Process
and
龍捲風
例
Process
and
旋轉
例
Object
and
空氣
例
Process
RAN and
易位
子過程
Process
and
Process
子過程
Process
RAN and
Process
患者
Process
RAN and
Object
方向
Process
RAN and
橫
Object
SelfConnectedObject
,
Process
OP,
SelfConnectedObject
,
SelfConnectedObject
and
SelfConnectedObject
例
Object
and
GeographicArea
Process
是
located
在
Object
部分
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
ConeSegment
上
Process
OP and
SelfConnectedObject
底部
SelfConnectedObject
and
SelfConnectedObject
例
SelfConnectedObject
and
雲
底部
SelfConnectedObject
and
SelfConnectedObject
空間的符合
Process
OP and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
Object
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 771-778
例
Process
and
颱風
Process
是
located
在
Object
例
Object
and
GeographicArea
位於
Object
and
NorthwesternPacificOcean
空間的符合
Object
and
NorthwesternPacificOcean
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1282-1286
physicalEnd
Object
and
Object
膚淺的部分
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1273-1280
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
wears
?P ?B)
(
instance
?B
Belt
))
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?P ?C)
(
meetsSpatially
?B ?C))))
Mid-level-ontology.kif 5066-5074
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
帶
可穿戴物品
例
可穿戴物品
and
Clothing
穿
Animal
and
可穿戴物品
空間的符合
可穿戴物品
and
可穿戴物品
(=>
(
and
(
wears
?P ?C)
(
instance
?C
Collar
))
(
exists
(?N)
(
and
(
instance
?N
Neck
)
(
part
?N ?P)
(
meetsSpatially
?C ?N))))
Mid-level-ontology.kif 5114-5122
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
領
Object
例
Object
and
頸部
部分
Object
and
Animal
空間的符合
可穿戴物品
and
Object
(=>
(
and
(
wears
?P ?G)
(
instance
?G
Glove
))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?P)
(
meetsSpatially
?G ?H))))
Mid-level-ontology.kif 5129-5137
穿
Animal
and
可穿戴物品
例
可穿戴物品
and
手套
Object
例
Object
and
手
部分
Object
and
Animal
空間的符合
可穿戴物品
and
Object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
meetsSpatially
Alabama
Mississippi
)
CountriesAndRegions.kif 866-866
空間的符合
阿拉巴馬
and
密西西比州
(
meetsSpatially
Alaska
ArcticOcean
)
CountriesAndRegions.kif 882-882
空間的符合
阿拉斯加州
and
北冰洋
(
meetsSpatially
Alaska
Canada
)
CountriesAndRegions.kif 880-880
空間的符合
阿拉斯加州
and
加拿大
(
meetsSpatially
Alaska
PacificOcean
)
CountriesAndRegions.kif 881-881
空間的符合
阿拉斯加州
and
太平洋
(
meetsSpatially
Arizona
California
)
CountriesAndRegions.kif 885-885
空間的符合
Arizona
and
加州
(
meetsSpatially
Arizona
Mexico
)
CountriesAndRegions.kif 886-886
空間的符合
Arizona
and
墨西哥
(
meetsSpatially
Arizona
Nevada
)
CountriesAndRegions.kif 884-884
空間的符合
Arizona
and
Nevada
(
meetsSpatially
Arkansas
Louisiana
)
CountriesAndRegions.kif 892-892
空間的符合
阿肯色州
and
路易斯安那州
(
meetsSpatially
Arkansas
Oklahoma
)
CountriesAndRegions.kif 890-890
空間的符合
阿肯色州
and
Oklahoma
(
meetsSpatially
Arkansas
Texas
)
CountriesAndRegions.kif 891-891
空間的符合
阿肯色州
and
德州
(
meetsSpatially
BassasDaIndia
IndianOcean
)
CountriesAndRegions.kif 136-136
空間的符合
bassas da 印度
and
印度洋
(
meetsSpatially
BouvetIsland
SouthAtlanticOcean
)
CountriesAndRegions.kif 138-138
空間的符合
布維島
and
南大西洋
(
meetsSpatially
California
Mexico
)
CountriesAndRegions.kif 904-904
空間的符合
加州
and
墨西哥
(
meetsSpatially
California
NewMexico
)
CountriesAndRegions.kif 905-905
空間的符合
加州
and
新墨西哥
(
meetsSpatially
California
Oregon
)
CountriesAndRegions.kif 906-906
空間的符合
加州
and
Oregon
(
meetsSpatially
California
PacificOcean
)
CountriesAndRegions.kif 903-903
空間的符合
加州
and
太平洋
(
meetsSpatially
California
Washington
)
CountriesAndRegions.kif 907-907
空間的符合
加州
and
華盛頓
(
meetsSpatially
Canada
UnitedStates
)
CountriesAndRegions.kif 410-410
空間的符合
加拿大
and
美國
(
meetsSpatially
Colorado
Arizona
)
CountriesAndRegions.kif 910-910
空間的符合
科羅拉多州
and
Arizona
(
meetsSpatially
Colorado
NewMexico
)
CountriesAndRegions.kif 911-911
空間的符合
科羅拉多州
and
新墨西哥
(
meetsSpatially
Colorado
Texas
)
CountriesAndRegions.kif 912-912
空間的符合
科羅拉多州
and
德州
(
meetsSpatially
Colorado
Utah
)
CountriesAndRegions.kif 909-909
空間的符合
科羅拉多州
and
猶他州
(
meetsSpatially
Delaware
Maryland
)
CountriesAndRegions.kif 920-920
空間的符合
Delaware
and
馬里蘭
(
meetsSpatially
Delaware
NorthAtlanticOcean
)
CountriesAndRegions.kif 919-919
空間的符合
Delaware
and
北大西洋
(
meetsSpatially
Delaware
Pennsylvania
)
CountriesAndRegions.kif 921-921
空間的符合
Delaware
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