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
connected
Sigma KEE - connected
connected
appearance as argument number 1
(
documentation
connected
ChineseLanguage
"(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1
meetsSpatially
?OBJ2 或者是 ?OBJ1
overlapsSpatially
?OBJ2。")
chinese_format.kif 2823-2824
(
documentation
connected
EnglishLanguage
"(connected ?OBJ1 ?OBJ2) means that ?OBJ1
meetsSpatially
?OBJ2 or that ?OBJ1
overlapsSpatially
?OBJ2.")
Merge.kif 9506-9507
(
documentation
connected
JapaneseLanguage
"(connected ?OBJ1 ?OBJ2) とは、?OBJ1
meetsSpatially
?OBJ2または ?OBJ1
overlapsSpatially
?OBJ2 という意味である。")
japanese_format.kif 1565-1566
(
domain
connected
1
Object
)
Merge.kif 9503-9503
相连
的 1 数量 是
客体
的
instance
(
domain
connected
2
Object
)
Merge.kif 9504-9504
相连
的 2 数量 是
客体
的
instance
(
instance
connected
BinaryPredicate
)
Merge.kif 9499-9499
相连
是
二元谓语
的
instance
(
instance
connected
ReflexiveRelation
)
Merge.kif 9501-9501
相连
是
自反关系
的
instance
(
instance
connected
SpatialRelation
)
Merge.kif 9500-9500
相连
是
空间关系
的
instance
(
instance
connected
SymmetricRelation
)
Merge.kif 9502-9502
相连
是
对称关系
的
instance
appearance as argument number 2
(
disjointRelation
crosses
connected
)
Merge.kif 4200-4200
横过
和
相连
是
disjoint
关系
(
format
ChineseLanguage
connected
"%1 和 %2 %n 是
connected
")
chinese_format.kif 361-361
(
format
EnglishLanguage
connected
"%1 is %n
connected
to %2")
english_format.kif 364-364
(
format
FrenchLanguage
connected
"%1 est %n connect� � %2")
french_format.kif 209-209
(
format
ItalianLanguage
connected
"%1 è %n connesso a %2")
relations-it.txt 52-52
(
format
JapaneseLanguage
connected
"%1 は %2 と
connected
して %n ")
japanese_format.kif 2016-2016
(
format
PortugueseLanguage
connected
"%1 e' %n conectado com %2")
portuguese_format.kif 161-161
(
format
cb
connected
"%1 %n ay ikabit sa %2")
relations-cb.txt 86-86
(
format
cz
connected
"%1 %p{je} %n{nen�} spojen s %2")
relations-cz.txt 216-216
(
format
de
connected
"%1 wird an %2 %n{nicht} angeschlossen")
relations-de.txt 480-480
(
format
hi
connected
"%1 %2 se judaa huaa %n hai")
relations-hindi.txt 93-93
(
format
ro
connected
"%1 %n{nu} este
connected
%t{îmbinat} cu %2")
relations-ro.kif 229-229
(
format
sv
connected
"%1 är %n{inte} sammanlänkad med %2")
relations-sv.txt 226-226
(
format
tg
connected
"%1 %n ay nagkabit sa %2")
relations-tg.txt 120-120
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9570-9570
接触
和
相连
是 内部相关
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16095-16095
相连工程子组件
是
相连
的
subrelation
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4033-4033
重叠
是
相连
的
subrelation
(
termFormat
ChineseLanguage
connected
"相连")
chinese_format.kif 362-362
(
termFormat
ChineseLanguage
connected
"连接的")
domainEnglishFormat.kif 16638-16638
(
termFormat
ChineseTraditionalLanguage
connected
"連接的")
domainEnglishFormat.kif 16637-16637
(
termFormat
EnglishLanguage
connected
"connected")
domainEnglishFormat.kif 16636-16636
(
termFormat
tg
connected
"nagkabit")
relations-tg.txt 121-121
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
如果
自身连接物体
的
bottom
是
另一个 自身连接物体
和
客体
是
那个 自身连接物体
的
part
和
那个 客体
和
那个 另外 自身连接物体
不 是
connected
,
然后
那个 客体
在
那个 另外 自身连接物体
的
以上
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9554-9560
如果
客体
和
另一个 客体
是
connected
和
那个 客体
和
第三 客体
是
connected
和
那个 另外 客体
和
那个 第三 客体
不 是
connected
,
然后
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
如果
客体
和
另一个 客体
是
connected
和
那个 另外 客体
是
第三 客体
的
part
,
然后
那个 客体
和
那个 第三 客体
是
connected
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9521-9525
如果
客体
equal
包括属于
另一个 客体
或
第三 客体
的部分 和
那个 第三 客体
和
那个 另外 客体
是
connected
,
然后
那个 客体
是
自身连接物体
的
instance
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
如果
过程
是
连接
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectAttached
那个 过程
and
那个 实体
和
objectAttached
那个 过程
and
那个 另外 实体
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
如果
客体
是
BodySegment
的
instance
和
另一个 客体
是
BodySegment
的
instance
和
那个 客体
和
那个 另外 客体
是
connected
和
运动
是
身体运动
的
instance
和
移动
那个 运动
and
那个 客体
,
然后 不存在
那个 运动
2 这样
那个 运动
2 是
身体运动
的
instance
和
移动
那个 运动
2 and
那个 另外 客体
和
那个 运动
2 出现 的
time
在
那个 运动
出现 的
time
时段内发生 的声明 has
可能性
的语气
(=>
(
and
(
instance
?CHANNEL
Channel
)
(
instance
?BODY
BodyOfWater
)
(
connected
?CHANNEL ?BODY))
(
larger
?BODY ?CHANNEL))
Geography.kif 5330-5335
如果
客体
是
渠道
的
instance
和
另一个 客体
是
水体
的
instance
和
那个 客体
和
那个 另外 客体
是
connected
,
然后
那个 另外 客体
larger
那个 客体
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
如果
过程
是
脱离
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
不 是
connected
在
另一个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectDetached
那个 另外 过程
and
那个 实体
和
objectDetached
那个 另外 过程
and
那个 另外 实体
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17882-17892
如果
客体
是
客体
的
instance
和
又长又瘦
是
那个 客体
的
attribute
和
另一个 客体
是
客体
的
instance
和
又长又瘦
是
那个 另外 客体
的
attribute
和
那个 客体
和
那个 另外 客体
是
connected
和
那个 客体
不
equal
那个 另外 客体
,
然后 有存在
实数
这样
relativeAngle
那个 客体
,
那个 另外 客体
and
那个 实数
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
如果
地理区域
是
内陆水系统
的
instance
和
另一个 地理区域
是
水域
的
instance
和
第三 地理区域
是
水域
的
instance
和
那个 另外 地理区域
不
equal
那个 第三 地理区域
和
那个 另外 地理区域
和
那个 第三 地理区域
不 是
connected
和
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 第三 地理区域
是
那个 地理区域
的
geographic
次要地区,
然后 有存在
客体
这样
那个 客体
是
水域
的
instance
和
那个 客体
不
equal
那个 另外 地理区域
和
那个 客体
不
equal
那个 另外 地理区域
和
那个 客体
是
那个 地理区域
的
part
和
那个 客体
connects
那个 另外 地理区域
和
那个 第三 地理区域
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
如果
客体
适当的
fills
洞
和
另一个 客体
和
那个 客体
是
connected
,
然后
那个 洞
和
那个 另外 客体
是
connected
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9745-9751
如果
自身连接物体
是
另一个 自身连接物体
的一
side
和
客体
是
那个 另外 自身连接物体
的
part
和
那个 客体
和
那个 自身连接物体
不 是
connected
,
然后 有存在
位置属性
这样
那个 自身连接物体
在
那个 客体
的
那个 位置属性
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9730-9735
如果
自身连接物体
是
另一个 自身连接物体
的
top
和
客体
是
那个 另外 自身连接物体
的
part
和
那个 客体
和
那个 自身连接物体
不 是
connected
,
然后
那个 客体
在
那个 自身连接物体
的
下面
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
如果
客体
和
另一个 客体
是
connected
,
然后
那个 客体
接上
那个 另外 客体
或
那个 客体
和
那个 另外 客体
重叠
consequent
(<=>
(
orientation
?OBJ1 ?OBJ2
Adjacent
)
(
or
(
orientation
?OBJ1 ?OBJ2
Near
)
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17103-17107
客体
在
另一个 客体
的
邻
若且唯若
那个 客体
在
那个 另外 客体
的
近
或
那个 客体
和
那个 另外 客体
是
connected
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
如果
客体
和
另一个 客体
是
connected
和
那个 另外 客体
是
第三 客体
的
part
,
然后
那个 客体
和
那个 第三 客体
是
connected
(=>
(
and
(
connectedBodyPart
?A ?B)
(
attribute
?H
Healthy
))
(
exists
(?AI ?BI)
(
and
(
instance
?AI ?A)
(
instance
?BI ?B)
(
part
?AI ?H)
(
part
?BI ?H)
(
connected
?AI ?BI))))
Mid-level-ontology.kif 11967-11977
如果
connectedBodyPart
有点 身体部位
and
另一个 有点 身体部位
和
Healthy
是
客体
的
attribute
,
然后 有存在
有点 身体部位
I 和
另一个 有点 身体部位
I 这样
那个 有点 身体部位
I 是
那个 有点 身体部位
的
instance
和
那个 另外 有点 身体部位
I 是
那个 另外 有点 身体部位
的
instance
和
那个 有点 身体部位
I 是
那个 客体
的
part
和
那个 另外 有点 身体部位
I 是
那个 客体
的
part
和
那个 有点 身体部位
I 和
那个 另外 有点 身体部位
I 是
connected
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
如果
connectedBodyPartTypes
有点 身体部位
,
另一个 有点 身体部位
and
有点 生物
和
有点 生物
C 是
那个 有点 生物
的
instance
和
疾病或综合症
不 是
另一个 客体
的
attribute
,
然后 有存在
第三 客体
和
第四 客体
这样
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 第四 客体
是
另一个 有点 身体部位
的
instance
和
那个 第三 客体
不
equal
那个 第四 客体
和
那个 第三 客体
是
那个 有点 生物
C 的
part
和
那个 第四 客体
是
那个 有点 生物
C 的
part
和
那个 第三 客体
和
那个 第四 客体
是
connected
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
如果
过程
是
连接
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
,
然后
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 12408-12415
如果
过程
是
脱离
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
,
然后
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?DSAVE
DataSaving
)
(
resource
?DSAVE ?RES)
(
instance
?RES
ElectronicDataStorageDevice
))
(
exists
(?DEV)
(
and
(
instance
?DEV
ElectricDevice
)
(
instrument
?DSAVE ?DEV)
(
holdsDuring
(
WhenFn
?DSAVE)
(
connected
?RES ?DEV)))))
Media.kif 690-700
如果
过程
是
数据保存
的
instance
和
客体
是
那个 过程
的
resource
和
那个 客体
是
ElectronicDataStorageDevice
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
电器
的
instance
和
那个 另外 客体
是导致
那个 过程
的
instrument
和
那个 客体
和
那个 另外 客体
是
connected
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 10647-10657
如果
运动
是
Extension
的
instance
和
移动
那个 运动
and
客体
,
然后 有存在
另一个 客体
和
那个 另外 客体
C 这样
那个 另外 客体
是
肌肉
的
instance
和
那个 另外 客体
C 是
MuscularContraction
的
instance
和
那个 另外 客体
是导致
那个 运动
的
instrument
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
C%n是
那个 运动
的
subProcess
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10607-10617
如果
运动
是
Flexion
的
instance
和
移动
那个 运动
and
客体
,
然后 有存在
另一个 客体
和
那个 另外 客体
C 这样
那个 另外 客体
是
肌肉
的
instance
和
那个 另外 客体
C 是
MuscularContraction
的
instance
和
那个 另外 客体
是导致
那个 运动
的
instrument
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
C%n是
那个 运动
的
subProcess
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9515-9519
如果
客体
是
自身连接物体
的
instance
和
那个 客体
equal
包括属于
另一个 客体
或
第三 客体
的部分,
然后
那个 第三 客体
和
那个 另外 客体
是
connected
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 2949-2957
如果
客体
是
港口设施
的
instance
和
那个 客体
能够担当
受事
的角色做
船靠泊
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
港口
的
instance
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
能够担当
路径
的角色做
船靠泊
(=>
(
and
(
instance
?RIVER
River
)
(
instance
?WATER
BodyOfWater
)
(
flows
?RIVER ?WATER))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
streamOutfall
?MOUTH ?RIVER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5661-5670
如果
河
是
河
的
instance
和
客体
是
水体
的
instance
和
那个 客体
是
那个 河
的
flows
,
然后 有存在
水域
这样
那个 水域
是
河口
的
instance
和
那个 水域
是
那个 河
的
outfall
和
那个 水域
和
那个 客体
是
connected
(=>
(
and
(
instance
?TOUCH
Touching
)
(
agent
?TOUCH ?OBJ1)
(
patient
?TOUCH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?TOUCH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?TOUCH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 11485-11492
如果
过程
是
接触
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 施事体
和
那个 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
和
那个 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?W
VehicleWheel
)
(
instance
?V
RoadVehicle
)
(
part
?W ?V))
(
exists
(?A)
(
and
(
instance
?A
Axle
)
(
component
?A ?V)
(
connected
?W ?A))))
Mid-level-ontology.kif 3538-3547
如果
客体
是
车轮
的
instance
和
躯体性物体
是
公路车辆
的
instance
和
那个 客体
是
那个 躯体性物体
的
part
,
然后 有存在
另一个 躯体性物体
这样
那个 另外 躯体性物体
是
轴
的
instance
和
那个 另外 躯体性物体
是
那个 躯体性物体
的
component
和
那个 客体
和
那个 另外 躯体性物体
是
connected
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
如果
客体
适当的
fills
洞
和
另一个 客体
和
那个 客体
是
connected
,
然后
那个 洞
和
那个 另外 客体
是
connected
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
如果
锁定
是
客体
的
attribute
,
然后 有存在
另一个 客体
,
过程
, and 和
实体
这样
那个 另外 客体
是
锁
的
instance
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 过程
是
关闭
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
和
那个 实体
是
运动
的
instance
和
那个 过程
出现 的
time
比
锁定
是
那个 客体
的
attribute
出现 的
time
发生的
earlier
和
那个 客体
是
那个 实体
的
patient
的声明 doesn't have
可能性
的语气 在
锁定
是
那个 客体
的
attribute
出现 的
time
holdsDuring
(=>
(
attribute
?X
PartialVacuum
)
(
exists
(?O ?G ?P1 ?P2 ?PM)
(
and
(
instance
?O
SelfConnectedObject
)
(
instance
?G
Region
)
(
not
(
equal
?G ?X))
(
connected
?X ?O)
(
connected
?G ?O)
(
measure
?G
(
MeasureFn
?P1 ?PM))
(
measure
?X
(
MeasureFn
?P2 ?PM))
(
instance
?PM
UnitOfAtmosphericPressure
)
(
greaterThan
?P1 ?P2))))
Cars.kif 383-396
如果
PartialVacuum
是
客体
的
attribute
,
然后 有存在
另一个 客体
,
第三 客体
,, ,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 另外 客体
是
自身连接物体
的
instance
和
那个 第三 客体
是
地区
的
instance
和
那个 第三 客体
不
equal
那个 客体
和
那个 客体
和
那个 另外 客体
是
connected
和
那个 第三 客体
和
那个 另外 客体
是
connected
和
那个 第三 客体
的
measure
是
那个 实数
那个 测量单位
和
那个 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 测量单位
是
UnitOfAtmosphericPressure
的
instance
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
attribute
?X
Pressurized
)
(
exists
(?O ?G ?P1 ?P2 ?PM)
(
and
(
instance
?O
SelfConnectedObject
)
(
instance
?G
Region
)
(
not
(
equal
?G ?X))
(
connected
?X ?O)
(
connected
?G ?O)
(
measure
?G
(
MeasureFn
?P1 ?PM))
(
measure
?X
(
MeasureFn
?P2 ?PM))
(
instance
?PM
UnitOfAtmosphericPressure
)
(
greaterThan
?P2 ?P1))))
Cars.kif 403-416
如果
Pressurized
是
客体
的
attribute
,
然后 有存在
另一个 客体
,
第三 客体
,, ,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 另外 客体
是
自身连接物体
的
instance
和
那个 第三 客体
是
地区
的
instance
和
那个 第三 客体
不
equal
那个 客体
和
那个 客体
和
那个 另外 客体
是
connected
和
那个 第三 客体
和
那个 另外 客体
是
connected
和
那个 第三 客体
的
measure
是
那个 实数
那个 测量单位
和
那个 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 测量单位
是
UnitOfAtmosphericPressure
的
instance
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
completelyFills
?OBJ1 ?HOLE)
(
forall
(?OBJ2)
(=>
(
connected
?OBJ2 ?HOLE)
(
connected
?OBJ2 ?OBJ1))))
Merge.kif 10039-10044
如果
客体
完全
fills
洞
,
然后 对所有
另一个 客体
如果
那个 另外 客体
和
那个 洞
是
connected
,
然后
那个 另外 客体
和
那个 客体
是
connected
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9546-9552
如果
客体
connects
另一个 客体
和
第三 客体
,
然后
那个 客体
和
那个 另外 客体
是
connected
和
那个 客体
和
那个 第三 客体
是
connected
和
那个 另外 客体
和
那个 第三 客体
不 是
connected
(=>
(
equipmentType
?O ?T)
(
exists
(?D)
(
and
(
instance
?D ?T)
(
or
(
part
?D ?O)
(
connected
?D ?O)))))
Mid-level-ontology.kif 24327-24334
如果
有点 设备
是
人工制品
的
equipment
类别,
然后 有存在
客体
这样
那个 客体
是
有点 设备
的
instance
和
那个 客体
是
那个 人工制品
的
part
或
那个 客体
和
那个 人工制品
是
connected
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
如果
客体
是
另一个 客体
的
flows
,
然后
那个 另外 客体
和
那个 客体
是
connected
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
如果
洞
是
自身连接物体
内的
hole
,
然后
那个 洞
和
那个 自身连接物体
是
connected
(=>
(
instance
?F
Fireplace
)
(
exists
(?C)
(
and
(
instance
?C
Chimney
)
(
connected
?F ?C))))
Mid-level-ontology.kif 15366-15371
如果
客体
是
壁炉
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
烟囱
的
instance
和
那个 客体
和
那个 另外 客体
是
connected
(=>
(
instance
?GULF
Gulf
)
(
exists
(?SEA)
(
and
(
or
(
instance
?SEA
Sea
)
(
instance
?SEA
Ocean
))
(
connected
?GULF ?SEA))))
Geography.kif 5129-5136
如果
客体
是
海湾
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
海
的
instance
或
那个 另外 客体
是
海洋
的
instance
和
那个 客体
和
那个 另外 客体
是
connected
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
connected
GulfOfAden
ArabianSea
)
Geography.kif 5169-5169
腺嘌呤
和
阿拉伯海
是
connected
(
connected
GulfOfMexico
CaribbeanSea
)
Geography.kif 5177-5177
GulfOfMexico
和
加勒比海
是
connected
(
connected
GulfOfMexico
NorthAtlanticOcean
)
Geography.kif 5176-5176
GulfOfMexico
和
北大西洋
是
connected
(
connected
GulfOfOman
ArabianSea
)
Geography.kif 5161-5161
阿曼湾
和
阿拉伯海
是
connected
(
connected
IndianOcean
PersianGulf
)
Geography.kif 4631-4631
印度洋
和
波斯湾
是
connected
(
connected
IndianOcean
SouthPacificOcean
)
Geography.kif 4630-4630
印度洋
和
南太平洋
是
connected
(
connected
IndianOcean
SouthernOcean
)
Geography.kif 4632-4632
印度洋
和
南部海洋
是
connected
(
connected
MississippiRiver
GulfOfMexico
)
CountriesAndRegions.kif 744-744
密西西比河
和
GulfOfMexico
是
connected
(
connected
PersianGulf
StraitOfHormuz
)
Geography.kif 5154-5154
波斯湾
和
霍尔木兹海峡
是
connected
(
connected
RedSea
GulfOfAden
)
Geography.kif 5168-5168
红海
和
腺嘌呤
是
connected
(
connected
StraitOfHormuz
GulfOfOman
)
Geography.kif 5160-5160
霍尔木兹海峡
和
阿曼湾
是
connected
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