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
Continent
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 9542-9543
(
documentation
connected
JapaneseLanguage
"(connected ?OBJ1 ?OBJ2) とは、?OBJ1
meetsSpatially
?OBJ2または ?OBJ1
overlapsSpatially
?OBJ2 という意味である。")
japanese_format.kif 1565-1566
(
domain
connected
1
Object
)
Merge.kif 9539-9539
相连
的 1 数量 是
客体
的
instance
(
domain
connected
2
Object
)
Merge.kif 9540-9540
相连
的 2 数量 是
客体
的
instance
(
instance
connected
BinaryPredicate
)
Merge.kif 9535-9535
相连
是
二元谓语
的
instance
(
instance
connected
ReflexiveRelation
)
Merge.kif 9537-9537
相连
是
自反关系
的
instance
(
instance
connected
SpatialRelation
)
Merge.kif 9536-9536
相连
是
空间关系
的
instance
(
instance
connected
SymmetricRelation
)
Merge.kif 9538-9538
相连
是
对称关系
的
instance
appearance as argument number 2
(
disjointRelation
crosses
connected
)
Merge.kif 4201-4201
横过
和
相连
是
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 9606-9606
接触
和
相连
是 内部相关
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16167-16167
相连工程子组件
是
相连
的
subrelation
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4034-4034
重叠
是
相连
的
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 9751-9756
如果
自身连接物体
的
bottom
是
另一个 自身连接物体
和
客体
是
那个 自身连接物体
的
part
和
那个 客体
和
那个 另外 自身连接物体
不 是
connected
,
然后
那个 客体
在
那个 另外 自身连接物体
的
以上
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9590-9596
如果
客体
和
另一个 客体
是
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 9557-9561
如果
客体
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 12429-12443
如果
过程
是
连接
的
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 10604-10620
如果
客体
是
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 12477-12486
如果
过程
是
脱离
的
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 17961-17971
如果
客体
是
客体
的
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 10082-10086
如果
客体
适当的
fills
洞
和
另一个 客体
和
那个 客体
是
connected
,
然后
那个 洞
和
那个 另外 客体
是
connected
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9781-9788
如果
自身连接物体
是
另一个 自身连接物体
的一
side
和
客体
是
那个 另外 自身连接物体
的
part
和
那个 客体
和
那个 自身连接物体
不 是
connected
,
然后 有存在
位置属性
这样
那个 自身连接物体
在
那个 客体
的
那个 位置属性
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9766-9771
如果
自身连接物体
是
另一个 自身连接物体
的
top
和
客体
是
那个 另外 自身连接物体
的
part
和
那个 客体
和
那个 自身连接物体
不 是
connected
,
然后
那个 客体
在
那个 自身连接物体
的
下面
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9545-9549
如果
客体
和
另一个 客体
是
connected
,
然后
那个 客体
接上
那个 另外 客体
或
那个 客体
和
那个 另外 客体
重叠
consequent
(<=>
(
orientation
?OBJ1 ?OBJ2
Adjacent
)
(
or
(
orientation
?OBJ1 ?OBJ2
Near
)
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17174-17178
客体
在
另一个 客体
的
邻
若且唯若
那个 客体
在
那个 另外 客体
的
近
或
那个 客体
和
那个 另外 客体
是
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 11994-12004
如果
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 12406-12413
如果
过程
是
连接
的
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 12454-12461
如果
过程
是
脱离
的
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 10674-10684
如果
运动
是
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 10634-10644
如果
运动
是
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 9551-9555
如果
客体
是
自身连接物体
的
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 3130-3138
如果
客体
是
港口设施
的
instance
和
那个 客体
能够担当
受事
的角色做
船靠泊
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
港口
的
instance
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
能够担当
路径
的角色做
船靠泊
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 561-574
如果
客体
是
CervicalVertebraBone
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 另外 客体
的
attribute
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
CervicalVertebraBone
的
instance
和
那个 第三 客体
不
equal
那个 客体
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
和
那个 客体
是
connected
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connected
?S ?R)))))
Anatomy.kif 505-517
如果
客体
是
FalseRibBone
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 另外 客体
的
attribute
,
然后 不存在
第三 客体
这样
那个 第三 客体
是
Sternum
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
和
那个 客体
是
connected
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 601-614
如果
客体
是
LumbarVertebraBone
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 另外 客体
的
attribute
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
LumbarVertebraBone
的
instance
和
那个 第三 客体
不
equal
那个 客体
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
和
那个 客体
是
connected
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 669-682
如果
客体
是
ThoracicVertebraBone
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 另外 客体
的
attribute
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
ThoracicVertebraBone
的
instance
和
那个 第三 客体
不
equal
那个 客体
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
和
那个 客体
是
connected
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 492-503
如果
客体
是
TrueRibBone
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 另外 客体
的
attribute
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
Sternum
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
和
那个 客体
是
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 11531-11538
如果
过程
是
接触
的
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 3531-3540
如果
客体
是
车轮
的
instance
和
躯体性物体
是
公路车辆
的
instance
和
那个 客体
是
那个 躯体性物体
的
part
,
然后 有存在
另一个 躯体性物体
这样
那个 另外 躯体性物体
是
轴
的
instance
和
那个 另外 躯体性物体
是
那个 躯体性物体
的
component
和
那个 客体
和
那个 另外 躯体性物体
是
connected
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10082-10086
如果
客体
适当的
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 2691-2707
如果
锁定
是
客体
的
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 10075-10080
如果
客体
完全
fills
洞
,
然后 对所有
另一个 客体
如果
那个 另外 客体
和
那个 洞
是
connected
,
然后
那个 另外 客体
和
那个 客体
是
connected
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9582-9588
如果
客体
connects
另一个 客体
和
第三 客体
,
然后
那个 客体
和
那个 另外 客体
是
connected
和
那个 客体
和
那个 第三 客体
是
connected
和
那个 另外 客体
和
那个 第三 客体
不 是
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