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
names
Sigma KEE - meetsSpatially
meetsSpatially
appearance as argument number 1
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9610-9610
接触
和
重叠
是
disjoint
关系
(
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 数量 是
客体
的
instance
(
domain
meetsSpatially
2
Object
)
Merge.kif 9605-9605
接触
的 2 数量 是
客体
的
instance
(
instance
meetsSpatially
BinaryPredicate
)
Merge.kif 9609-9609
接触
是
二元谓语
的
instance
(
instance
meetsSpatially
IrreflexiveRelation
)
Merge.kif 9607-9607
接触
是
非自反关系
的
instance
(
instance
meetsSpatially
SymmetricRelation
)
Merge.kif 9608-9608
接触
是
对称关系
的
instance
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9606-9606
接触
和
相连
是 内部相关
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
抓住
是
接触
的
subrelation
(
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
人类
and
有点 物质
和
有点 物质
UB 是
那个 有点 物质
的
instance
和
那个 有点 物质
UB 接上
那个 人类
在
时间位置
holdsDuring
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
AllergicReaction
的
instance
和
那个 人类
经历了
那个 另外 实体
和
那个 另外 实体
出现 的
time
时段 和
那个 时间位置
重叠 和
那个 时间位置
的开始%n在
那个 另外 实体
出现 的
time
的开始
before
发生 的声明 has
容易
的语气
(=>
(
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
如果
LateralRecumbant
是
客体
的
attribute
和
那个 客体
在
另一个 客体
的
上
在
时间位置
holdsDuring
和
第三 客体
是
LeftArm
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
第四 客体
是
RightArm
的
instance
和
那个 第四 客体
是
那个 客体
的
part
和
第五 客体
是
LeftLeg
的
instance
和
那个 第五 客体
是
那个 客体
的
part
和
第六 客体
是
RightLeg
的
instance
和
那个 第六 客体
是
那个 客体
的
part
和
那个 第三 客体
接上
那个 另外 客体
或
那个 第五 客体
接上
那个 另外 客体
,
然后
那个 第四 客体
不 接上
那个 另外 客体
和
那个 第六 客体
不 接上
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
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
如果
LateralRecumbant
是
客体
的
attribute
和
那个 客体
在
另一个 客体
的
上
在
时间位置
holdsDuring
和
第三 客体
是
LeftArm
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
第四 客体
是
RightArm
的
instance
和
那个 第四 客体
是
那个 客体
的
part
和
第五 客体
是
LeftLeg
的
instance
和
那个 第五 客体
是
那个 客体
的
part
和
第六 客体
是
RightLeg
的
instance
和
那个 第六 客体
是
那个 客体
的
part
和
那个 第四 客体
接上
那个 另外 客体
或
那个 第六 客体
接上
那个 另外 客体
,
然后
那个 第三 客体
不 接上
那个 另外 客体
和
那个 第五 客体
不 接上
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
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
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
维护
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
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
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 不存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
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
如果
客体
是
气泡
的
instance
和 不存在
另一个 客体
和
属性
这样
那个 属性
是
那个 另外 客体
的
attribute
和
那个 另外 客体
不
equal
加油站
和
那个 另外 客体
接上
那个 客体
,
然后
中凸的圆形
是
那个 客体
的
attribute
(=>
(
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
如果
过程
是
飓风
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
地理区域
的
instance
和
那个 客体
是
located
在
另一个 客体
或
那个 客体
接上
那个 另外 客体
,
然后
那个 另外 客体
equal
NortheasternPacificOcean
或
那个 另外 客体
equal
北大西洋
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
FreshWaterArea
))
(
instance
?INLET
FreshWaterArea
))
Geography.kif 5246-5251
如果
客体
是
进口
的
instance
和
那个 客体
接上
另一个 客体
和
那个 另外 客体
是
淡水区
的
instance
,
然后
那个 客体
是
淡水区
的
instance
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
SaltWaterArea
))
(
instance
?INLET
SaltWaterArea
))
Geography.kif 5239-5244
如果
客体
是
进口
的
instance
和
那个 客体
接上
另一个 客体
和
那个 另外 客体
是
盐水区
的
instance
,
然后
那个 客体
是
盐水区
的
instance
(=>
(
and
(
instance
?ISLE
Island
)
(
instance
?AREA
GeographicArea
)
(
meetsSpatially
?ISLE ?AREA))
(
not
(
instance
?AREA
LandArea
)))
Merge.kif 14254-14260
如果
客体
是
岛
的
instance
和
另一个 客体
是
地理区域
的
instance
和
那个 客体
接上
那个 另外 客体
,
然后
那个 另外 客体
不 是
土地面积
的
instance
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
如果
地理区域
是
海运货架区
的
instance
和
客体
是
大陆棚
的
instance
和
施事体
是
国家
的
instance
和
那个 客体
接上
那个 施事体
和
那个 施事体
是
那个 地理区域
的
claimed
领土,
然后
那个 地理区域
和
那个 客体
重叠
(=>
(
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
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
不 是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
(=>
(
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
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
(=>
(
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
客体
,
另一个 客体
and
实数
和
physicalEnd
第三 客体
and
那个 客体
和
physicalEnd
第四 客体
and
那个 客体
和
那个 第三 客体
不
equal
那个 第四 客体
和
那个 客体
的
length
是
那个 实数
1
测量单位
和
那个 另外 客体
的
length
是
那个 实数
2
那个 测量单位
和
那个 第三 客体
和
第五 客体
的
distance
是
那个 实数
3
那个 测量单位
和
physicalEnd
那个 第五 客体
and
那个 另外 客体
和
physicalEnd
第六 客体
and
那个 另外 客体
和
那个 第五 客体
不
equal
那个 第六 客体
和
那个 第三 客体
不 接上
那个 第五 客体
,
然后
那个 实数
equal
ArcCosineFn
((
那个 实数
3 和
那个 实数
3 和
那个 实数
1 和
那个 实数
1) 和
那个 实数
2 和
那个 实数
2) 和 2.0 和
那个 实数
1 和
那个 实数
2
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
如果
客体
接上
另一个 客体
,
然后
那个 客体
和
那个 另外 客体
不 重叠
(=>
(
meetsSpatially
?OBJECT1 ?OBJECT2)
(
orientation
?OBJECT1 ?OBJECT2
Adjacent
))
Transportation.kif 864-866
如果
客体
接上
另一个 客体
,
然后
那个 客体
在
那个 另外 客体
的
邻
(=>
(
meetsSpatially
?X ?Y)
(
orientation
?X ?Y
Adjacent
))
Geography.kif 6163-6165
如果
客体
接上
另一个 客体
,
然后
那个 客体
在
那个 另外 客体
的
邻
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
和
那个 客体
是
FourPosterBed
的
instance
和
那个 几何图
是
四边形
的
instance
和
那个 几何图
的
side
是
一维图
和
那个 几何图
的
side
是
另一个 一维图
和
那个 一维图
不
equal
那个 另外 一维图
,
然后 有存在
另一个 客体
,
第三 客体
,, ,
几何点
, and 和
第四 客体
这样
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
地板
的
instance
和
那个 客体
在
那个 第三 客体
的
上
和
那个 另外 客体
在
那个 第三 客体
的
垂直
和
那个 一维图
是 对于
那个 几何点
的 交接点
那个 另外 一维图
和
那个 几何点
是
那个 第四 客体
的
attribute
和
那个 第四 客体
接上
那个 另外 客体
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Merge.kif 15957-15961
如果
covers
客体
and
另一个 客体
和
第三 客体
是
那个 另外 客体
的
superficialPart
,
然后
那个 客体
接上
那个 第三 客体
(=>
(
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
如果
LateralRecumbant
是
客体
的
attribute
和
那个 客体
在
另一个 客体
的
上
在
时间位置
holdsDuring
和
第三 客体
是
LeftArm
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
第四 客体
是
RightArm
的
instance
和
那个 第四 客体
是
那个 客体
的
part
和
第五 客体
是
LeftLeg
的
instance
和
那个 第五 客体
是
那个 客体
的
part
和
第六 客体
是
RightLeg
的
instance
和
那个 第六 客体
是
那个 客体
的
part
和
那个 第三 客体
接上
那个 另外 客体
或
那个 第五 客体
接上
那个 另外 客体
,
然后
那个 第四 客体
不 接上
那个 另外 客体
和
那个 第六 客体
不 接上
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
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
如果
LateralRecumbant
是
客体
的
attribute
和
那个 客体
在
另一个 客体
的
上
在
时间位置
holdsDuring
和
第三 客体
是
LeftArm
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
第四 客体
是
RightArm
的
instance
和
那个 第四 客体
是
那个 客体
的
part
和
第五 客体
是
LeftLeg
的
instance
和
那个 第五 客体
是
那个 客体
的
part
和
第六 客体
是
RightLeg
的
instance
和
那个 第六 客体
是
那个 客体
的
part
和
那个 第四 客体
接上
那个 另外 客体
或
那个 第六 客体
接上
那个 另外 客体
,
然后
那个 第三 客体
不 接上
那个 另外 客体
和
那个 第五 客体
不 接上
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Prone
)
(
orientation
?H ?O
On
)))
(
instance
?C
Chest
)
(
part
?C ?H))
(
meetsSpatially
?C ?O))
Anatomy.kif 1799-1807
如果
Prone
是
客体
的
attribute
和
那个 客体
在
另一个 客体
的
上
在
时间位置
holdsDuring
和
第三 客体
是
Chest
的
instance
和
那个 第三 客体
是
那个 客体
的
part
,
然后
那个 第三 客体
接上
那个 另外 客体
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Supine
)
(
orientation
?H ?O
On
)))
(
equal
?B
(
BackFn
?H)))
(
meetsSpatially
?B ?O))
Anatomy.kif 1814-1821
如果
Supine
是
自身连接物体
的
attribute
和
那个 自身连接物体
在
客体
的
上
在
时间位置
holdsDuring
和
另一个 自身连接物体
equal
那个 自身连接物体
的后面,
然后
那个 另外 自身连接物体
接上
那个 客体
(=>
(
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
如果
客体
是
刀片
的
instance
和
过程
是
切开
的
instance
和
另一个 客体
是
客体
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
是
那个 过程
的
patient
,
然后
那个 客体
接上
那个 另外 客体
(=>
(
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
如果
物理
是
Cavitating
的
instance
和
自身连接物体
是
泵
的
instance
和
设备上
是
那个 自身连接物体
的
attribute
和
液体
是
客体
的
attribute
和
那个 自身连接物体
contains
那个 客体
,
然后 有存在
那个 自身连接物体
P 和
实体
这样
那个 自身连接物体
P 是
那个 自身连接物体
的
part
和
那个 自身连接物体
P 的 目的 是
液体
是
那个 实体
的
attribute
和
那个 实体
接上
那个 自身连接物体
P 和 不存在
另一个 实体
这样
液体
是
那个 另外 实体
的
attribute
和
那个 自身连接物体
P 接上
那个 另外 实体
在
那个 物理
出现 的
time
holdsDuring
(=>
(
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
如果
客体
是
水晶
的
instance
和
单晶结构
是
那个 客体
的
attribute
和
自身连接物体
是
物质
的
instance
和
固体
是
那个 自身连接物体
的
attribute
和
多晶结构
是
那个 自身连接物体
的
attribute
和
另一个 自身连接物体
是
物质
的
instance
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 客体
不 是
那个 另外 自身连接物体
的
part
,
然后 有存在
那个 客体
LNT,
整数
, and 和
另一个 客体
这样
那个 客体
LNT 是
群体
的
instance
和
那个 整数
是
那个 客体
LNT 的
member
计数 和
那个 整数
是
greaterThanOrEqualTo
4 和
如果
那个 另外 客体
是
那个 客体
LNT 的
member
,
然后
那个 另外 客体
是
那个 自身连接物体
的
part
和
那个 客体
接上
那个 另外 客体
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9975-9983
如果
客体
是
洞
的
instance
和
另一个 客体
是
那个 客体
的
properPart
,
然后 有存在
第三 客体
这样
那个 客体
接上
那个 第三 客体
和
那个 另外 客体
不 接上
那个 第三 客体
(=>
(
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
如果
客体
是
卷轴
的
instance
和
过程
是
保存
的
instance
和
另一个 客体
是
躯体性物体
的
instance
和
又长又瘦
是
那个 另外 客体
的
attribute
和
易弯的
是
那个 另外 客体
的
attribute
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
接上
那个 客体
(=>
(
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
如果
自身连接物体
是
地峡
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的一
side
和
第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
不
equal
那个 第三 自身连接物体
,
然后 有存在
客体
,
另一个 客体
,, ,
第三 客体
, and 和
第四 客体
这样
那个 客体
是
土地面积
的
instance
和
那个 另外 客体
是
土地面积
的
instance
和
那个 自身连接物体
是在
那个 客体
和
那个 另外 客体
between
和
那个 第三 客体
是
水域
的
instance
和
那个 第四 客体
是
水域
的
instance
和
那个 另外 自身连接物体
接上
那个 第三 客体
和
那个 第三 自身连接物体
接上
那个 第四 客体
(=>
(
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
如果
客体
是
LeafSpring
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
公路车辆
的
instance
,
然后 有存在
那个 客体
2 这样
那个 客体
2 是
LeafSpring
的
instance
和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
不
equal
那个 客体
2 和
那个 客体
接上
那个 客体
2 的声明 has
容易
的语气
(=>
(
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
如果
自身连接物体
是
液体滴
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后 有存在
那个 另外 自身连接物体
S 和
另一个 实体
这样
那个 另外 实体
是
物质
的
instance
和
液体
是
那个 另外 实体
的
attribute
和
那个 自身连接物体
不
equal
那个 另外 实体
和
那个 另外 自身连接物体
S 是
那个 另外 实体
的
surface
和
那个 另外 自身连接物体
接上
那个 另外 自身连接物体
S 的声明 has
较不可能
的语气
(=>
(
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
如果
自身连接物体
是
客体
的
instance
和
中凸的圆形
是
那个 自身连接物体
的
attribute
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 另外 自身连接物体
是
二维物体
的
instance
,
然后 对所有
几何点
那个 几何点
是
那个 自身连接物体
的
part
和
几何点
是
那个 几何点
的
attribute
和
那个 几何点
是
那个 自身连接物体
的顶点 和
那个 几何点
接上
那个 自身连接物体
和
那个 几何点
接上
那个 另外 自身连接物体
和 有存在
一维图
这样
那个 另外 自身连接物体
的
tangent
是
那个 一维图
(=>
(
and
(
instance
?Range
MountainRange
)
(
part
?Mountain1 ?Range))
(
exists
(?Mountain2)
(
and
(
component
?Mountain2 ?Range)
(
instance
?Mountain2
Mountain
)
(
meetsSpatially
?Mountain1 ?Mountain2))))
Geography.kif 4016-4024
如果
躯体性物体
是
山脉
的
instance
和
客体
是
那个 躯体性物体
的
part
,
然后 有存在
另一个 躯体性物体
这样
那个 另外 躯体性物体
是
那个 躯体性物体
的
component
和
那个 另外 躯体性物体
是
山
的
instance
和
那个 客体
接上
那个 另外 躯体性物体
(=>
(
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
如果
客体
是
锯
的
instance
和
过程
是
切开
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
另一个 客体
是
客体
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
,
实体
,, ,
另一个 实体
,, ,
时距
,, ,
时间位置
,, ,
另一个 时间位置
, and 和
第三 客体
这样
那个 另外 过程
是
运动
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 客体
是
切割装置
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
接上
那个 另外 客体
和
那个 第三 客体
是
那个 另外 过程
的
patient
和
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 过程
出现 的
time
equal
那个 时距
和
那个 时距
时段 是
那个 时间位置
时段 的一
part
和
那个 时距
时段 是
那个 另外 时间位置
时段 的一
part
和
那个 实体
是
方向属性
的
instance
和
那个 另外 实体
是
方向属性
的
instance
和
如果
那个 另外 过程
过程的实体 向
那个 实体
在
那个 时间位置
holdsDuring
,
然后
那个 另外 过程
过程的实体 向
那个 另外 实体
和
那个 实体
equal
那个 另外 实体
或
那个 另外 实体
是
那个 实体
的
opposite
方向 和 ~{
那个 实体
equal
那个 另外 实体
} 或 ~{
那个 另外 实体
是
那个 实体
的
opposite
方向 } 在
那个 另外 时间位置
holdsDuring
(=>
(
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
如果
客体
是
岸区
的
instance
和
另一个 客体
是
水域
的
instance
和
那个 客体
在
那个 另外 客体
的
邻
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
海岸线
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
接上
那个 另外 客体
(=>
(
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
如果
过程
是
龙卷风
的
instance
和
另一个 过程
是
旋转
的
instance
和
客体
是
空气
的
instance
和
那个 过程
RAN 是
易位
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 过程
RAN%n是
那个 另外 过程
的
subProcess
和
那个 客体
是
那个 过程
RAN 的
patient
和
那个 过程
RAN 过程的实体 向
横
,
然后 有存在
另一个 客体
,
自身连接物体
,, ,
那个 过程
OP,, ,
第三 自身连接物体
,, ,
第四 自身连接物体
, and 和
第五 自身连接物体
这样
那个 另外 客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 另外 客体
和
那个 自身连接物体
是
那个 客体
的
part
和
ConeSegment
是
那个 自身连接物体
的
attribute
和
那个 过程
OP 是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
那个 第三 自身连接物体
和
那个 第四 自身连接物体
是
云
的
instance
和
那个 第四 自身连接物体
的
bottom
是
那个 第五 自身连接物体
和
那个 过程
OP 接上
那个 第五 自身连接物体
和
那个 第三 自身连接物体
接上
那个 另外 客体
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 771-778
如果
过程
是
台风
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
地理区域
的
instance
,
然后
那个 客体
是
located
在
NorthwesternPacificOcean
或
那个 客体
接上
NorthwesternPacificOcean
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1282-1286
如果
physicalEnd
客体
and
另一个 客体
和
第三 客体
是
那个 另外 客体
的
superficialPart
,
然后
那个 客体
接上
那个 第三 客体
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1273-1280
如果
physicalEnd
客体
and
另一个 客体
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 客体
不
equal
那个 第三 客体
,
然后
那个 客体
不 接上
那个 第三 客体
(=>
(
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
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
带
的
instance
,
然后 有存在
另一个 可穿戴物品
这样
那个 另外 可穿戴物品
是
服装
的
instance
和
那个 动物
wears
那个 另外 可穿戴物品
和
那个 可穿戴物品
接上
那个 另外 可穿戴物品
(=>
(
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
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
领
的
instance
,
然后 有存在
客体
这样
那个 客体
是
颈部
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 可穿戴物品
接上
那个 客体
(=>
(
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
如果
动物
wears
可穿戴物品
和
那个 可穿戴物品
是
手套
的
instance
,
然后 有存在
客体
这样
那个 客体
是
手
的
instance
和
那个 客体
是
那个 动物
的
part
和
那个 可穿戴物品
接上
那个 客体
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
阿拉巴马
接上
密西西比州
(
meetsSpatially
Alaska
ArcticOcean
)
CountriesAndRegions.kif 882-882
阿拉斯加州
接上
北冰洋
(
meetsSpatially
Alaska
Canada
)
CountriesAndRegions.kif 880-880
阿拉斯加州
接上
加拿大
(
meetsSpatially
Alaska
PacificOcean
)
CountriesAndRegions.kif 881-881
阿拉斯加州
接上
太平洋
(
meetsSpatially
Arizona
California
)
CountriesAndRegions.kif 885-885
Arizona
接上
加州
(
meetsSpatially
Arizona
Mexico
)
CountriesAndRegions.kif 886-886
Arizona
接上
墨西哥
(
meetsSpatially
Arizona
Nevada
)
CountriesAndRegions.kif 884-884
Arizona
接上
Nevada
(
meetsSpatially
Arkansas
Louisiana
)
CountriesAndRegions.kif 892-892
阿肯色州
接上
路易斯安那州
(
meetsSpatially
Arkansas
Oklahoma
)
CountriesAndRegions.kif 890-890
阿肯色州
接上
Oklahoma
(
meetsSpatially
Arkansas
Texas
)
CountriesAndRegions.kif 891-891
阿肯色州
接上
德州
(
meetsSpatially
BassasDaIndia
IndianOcean
)
CountriesAndRegions.kif 136-136
Bassas da 印度
接上
印度洋
(
meetsSpatially
BouvetIsland
SouthAtlanticOcean
)
CountriesAndRegions.kif 138-138
布维岛
接上
南大西洋
(
meetsSpatially
California
Mexico
)
CountriesAndRegions.kif 904-904
加州
接上
墨西哥
(
meetsSpatially
California
NewMexico
)
CountriesAndRegions.kif 905-905
加州
接上
新墨西哥
(
meetsSpatially
California
Oregon
)
CountriesAndRegions.kif 906-906
加州
接上
Oregon
(
meetsSpatially
California
PacificOcean
)
CountriesAndRegions.kif 903-903
加州
接上
太平洋
(
meetsSpatially
California
Washington
)
CountriesAndRegions.kif 907-907
加州
接上
华盛顿
(
meetsSpatially
Canada
UnitedStates
)
CountriesAndRegions.kif 410-410
加拿大
接上
美国
(
meetsSpatially
Colorado
Arizona
)
CountriesAndRegions.kif 910-910
科罗拉多州
接上
Arizona
(
meetsSpatially
Colorado
NewMexico
)
CountriesAndRegions.kif 911-911
科罗拉多州
接上
新墨西哥
(
meetsSpatially
Colorado
Texas
)
CountriesAndRegions.kif 912-912
科罗拉多州
接上
德州
(
meetsSpatially
Colorado
Utah
)
CountriesAndRegions.kif 909-909
科罗拉多州
接上
犹他州
(
meetsSpatially
Delaware
Maryland
)
CountriesAndRegions.kif 920-920
Delaware
接上
马里兰
(
meetsSpatially
Delaware
NorthAtlanticOcean
)
CountriesAndRegions.kif 919-919
Delaware
接上
北大西洋
(
meetsSpatially
Delaware
Pennsylvania
)
CountriesAndRegions.kif 921-921
Delaware
接上
宾夕法尼亚
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