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 and
Object
(
domain
connected
2
Object
)
Merge.kif 9504-9504
域
連接的
, 2 and
Object
(
instance
connected
BinaryPredicate
)
Merge.kif 9499-9499
例
連接的
and
BinaryPredicate
(
instance
connected
ReflexiveRelation
)
Merge.kif 9501-9501
例
連接的
and
ReflexiveRelation
(
instance
connected
SpatialRelation
)
Merge.kif 9500-9500
例
連接的
and
SpatialRelation
(
instance
connected
SymmetricRelation
)
Merge.kif 9502-9502
例
連接的
and
SymmetricRelation
appearance as argument number 2
(
disjointRelation
crosses
connected
)
Merge.kif 4200-4200
不相交的關係
十字架
and
連接的
(
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
相關的內部概念
空間的符合
and
連接的
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16095-16095
子關係
連接的工程組件
and
連接的
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4033-4033
子關係
在空間上重疊
and
連接的
(
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
底部
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
連接的
Object
and
SelfConnectedObject
方位
Object
,
SelfConnectedObject
and
以上
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9554-9560
連接的
Object
and
Object
連接的
Object
and
Object
連接的
Object
and
Object
連接
Object
,
Object
and
Object
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
連接的
Object
and
Object
部分
Object
and
Object
連接的
Object
and
Object
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9521-9525
等於
Object
and
mereological 總和
Object
and
Object
連接的
Object
and
Object
例
Object
and
SelfConnectedObject
(=>
(
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
例
Process
and
Attaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
objectAttached
Process
and
Entity
objectAttached
Process
and
Entity
(=>
(
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
例
Object
and
BodySegment
例
Object
and
BodySegment
連接的
Object
and
Object
例
Motion
and
BodyMotion
移動
Motion
and
Object
模態屬性
Motion
例
Motion
and
BodyMotion
移動
Motion
and
Object
期間
何時
Motion
and
何時
Motion
and
可能性
(=>
(
and
(
instance
?CHANNEL
Channel
)
(
instance
?BODY
BodyOfWater
)
(
connected
?CHANNEL ?BODY))
(
larger
?BODY ?CHANNEL))
Geography.kif 5330-5335
例
Object
and
渠道
例
Object
and
水體
連接的
Object
and
Object
更大
Object
and
Object
(=>
(
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
例
Process
and
Detaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
objectDetached
Process
and
Entity
objectDetached
Process
and
Entity
(=>
(
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
例
Object
and
Object
attribute
Object
and
又長又瘦
例
Object
and
Object
attribute
Object
and
又長又瘦
連接的
Object
and
Object
等於
Object
and
Object
RealNumber
relativeAngle
Object
,
Object
and
RealNumber
(=>
(
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
例
GeographicArea
and
內陸水系統
例
GeographicArea
and
WaterArea
例
GeographicArea
and
WaterArea
等於
GeographicArea
and
GeographicArea
連接的
GeographicArea
and
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
GeographicArea
是
GeographicArea
的
geographic
次要地區
Object
例
Object
and
WaterArea
等於
Object
and
GeographicArea
等於
Object
and
GeographicArea
部分
Object
and
GeographicArea
連接
Object
,
GeographicArea
and
GeographicArea
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
適當填充
Object
and
HoleRegion
連接的
Object
and
Object
連接的
HoleRegion
and
Object
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9745-9751
側
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
連接的
Object
and
SelfConnectedObject
PositionalAttribute
方位
SelfConnectedObject
,
Object
and
PositionalAttribute
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9730-9735
上
SelfConnectedObject
and
SelfConnectedObject
部分
Object
and
SelfConnectedObject
連接的
Object
and
SelfConnectedObject
方位
Object
,
SelfConnectedObject
and
下面
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
連接的
Object
and
Object
空間的符合
Object
and
Object
在空間上重疊
Object
and
Object
consequent
(<=>
(
orientation
?OBJ1 ?OBJ2
Adjacent
)
(
or
(
orientation
?OBJ1 ?OBJ2
Near
)
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17103-17107
方位
Object
,
Object
and
鄰
方位
Object
,
Object
and
近
連接的
Object
and
Object
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
連接的
Object
and
Object
部分
Object
and
Object
連接的
Object
and
Object
(=>
(
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
BodyPart
and
BodyPart
attribute
Object
and
Healthy
BodyPart
I
BodyPart
I
例
BodyPart
I and
BodyPart
例
BodyPart
I and
BodyPart
部分
BodyPart
I and
Object
部分
BodyPart
I and
Object
連接的
BodyPart
I and
BodyPart
I
(=>
(
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
BodyPart
,
BodyPart
and
Organism
例
Organism
C and
Organism
attribute
Object
and
DiseaseOrSyndrome
Object
Object
例
Object
and
BodyPart
例
Object
and
BodyPart
等於
Object
and
Object
部分
Object
and
Organism
C
部分
Object
and
Organism
C
連接的
Object
and
Object
(=>
(
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
例
Process
and
Attaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
(=>
(
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
例
Process
and
Detaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
(=>
(
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
例
Process
and
數據保存
資源
Process
and
Object
例
Object
and
ElectronicDataStorageDevice
Object
例
Object
and
電器
儀器
Process
and
Object
持有期間
何時
Process
and
連接的
Object
and
Object
(=>
(
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
例
Motion
and
Extension
移動
Motion
and
Object
Object
Object
C
例
Object
and
Muscle
例
Object
C and
MuscularContraction
儀器
Motion
and
Object
連接的
Object
and
Object
子過程
Object
C and
Motion
(=>
(
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
例
Motion
and
Flexion
移動
Motion
and
Object
Object
Object
C
例
Object
and
Muscle
例
Object
C and
MuscularContraction
儀器
Motion
and
Object
連接的
Object
and
Object
子過程
Object
C and
Motion
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9515-9519
例
Object
and
SelfConnectedObject
等於
Object
and
mereological 總和
Object
and
Object
連接的
Object
and
Object
(=>
(
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
例
Object
and
港口設施
能力
船靠泊
,
患者
and
Object
Object
例
Object
and
港口
連接的
Object
and
Object
能力
船靠泊
,
路徑
and
Object
(=>
(
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
例
河
and
河
例
Object
and
水體
Object
是
河
的
flows
WaterArea
例
WaterArea
and
河口
WaterArea
是
河
的
outfall
連接的
WaterArea
and
Object
(=>
(
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
例
Process
and
Touching
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
連接的
AutonomousAgent
and
Entity
(=>
(
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
例
Object
and
車輪
例
CorpuscularObject
and
公路車輛
部分
Object
and
CorpuscularObject
CorpuscularObject
例
CorpuscularObject
and
軸
零件
CorpuscularObject
and
CorpuscularObject
連接的
Object
and
CorpuscularObject
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
適當填充
Object
and
HoleRegion
連接的
Object
and
Object
連接的
HoleRegion
and
Object
(=>
(
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
Object
and
鎖定
Object
Process
and
Entity
例
Object
and
鎖
連接的
Object
and
Object
例
Process
and
關閉
患者
Process
and
Object
例
Entity
and
Motion
早期
何時
Process
and
何時
attribute
Object
and
鎖定
持有期間
何時
attribute
Object
and
鎖定
and
模態屬性
患者
Entity
and
Object
and
可能性
(=>
(
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
attribute
Object
and
PartialVacuum
Object
Object
,
RealNumber
,
RealNumber
and
UnitOfMeasure
例
Object
and
SelfConnectedObject
例
Object
and
Region
等於
Object
and
Object
連接的
Object
and
Object
連接的
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfAtmosphericPressure
比較多
RealNumber
and
RealNumber
(=>
(
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
attribute
Object
and
Pressurized
Object
Object
,
RealNumber
,
RealNumber
and
UnitOfMeasure
例
Object
and
SelfConnectedObject
例
Object
and
Region
等於
Object
and
Object
連接的
Object
and
Object
連接的
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfAtmosphericPressure
比較多
RealNumber
and
RealNumber
(=>
(
completelyFills
?OBJ1 ?HOLE)
(
forall
(?OBJ2)
(=>
(
connected
?OBJ2 ?HOLE)
(
connected
?OBJ2 ?OBJ1))))
Merge.kif 10039-10044
完全填滿
Object
and
HoleRegion
Object
連接的
Object
and
HoleRegion
連接的
Object
and
Object
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9546-9552
連接
Object
,
Object
and
Object
連接的
Object
and
Object
連接的
Object
and
Object
連接的
Object
and
Object
(=>
(
equipmentType
?O ?T)
(
exists
(?D)
(
and
(
instance
?D ?T)
(
or
(
part
?D ?O)
(
connected
?D ?O)))))
Mid-level-ontology.kif 24327-24334
Device
是
Artifact
的
equipment
類別
Object
例
Object
and
Device
部分
Object
and
Artifact
連接的
Object
and
Artifact
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
Object
是
Object
的
flows
連接的
Object
and
Object
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
hole
HoleRegion
and
SelfConnectedObject
連接的
HoleRegion
and
SelfConnectedObject
(=>
(
instance
?F
Fireplace
)
(
exists
(?C)
(
and
(
instance
?C
Chimney
)
(
connected
?F ?C))))
Mid-level-ontology.kif 15366-15371
例
Object
and
壁爐
Object
例
Object
and
煙囪
連接的
Object
and
Object
(=>
(
instance
?GULF
Gulf
)
(
exists
(?SEA)
(
and
(
or
(
instance
?SEA
Sea
)
(
instance
?SEA
Ocean
))
(
connected
?GULF ?SEA))))
Geography.kif 5129-5136
例
Object
and
海灣
Object
例
Object
and
海
例
Object
and
海洋
連接的
Object
and
Object
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
連接的
腺嘌呤
and
阿拉伯海
(
connected
GulfOfMexico
CaribbeanSea
)
Geography.kif 5177-5177
連接的
GulfOfMexico
and
加勒比海
(
connected
GulfOfMexico
NorthAtlanticOcean
)
Geography.kif 5176-5176
連接的
GulfOfMexico
and
北大西洋
(
connected
GulfOfOman
ArabianSea
)
Geography.kif 5161-5161
連接的
阿曼灣
and
阿拉伯海
(
connected
IndianOcean
PersianGulf
)
Geography.kif 4631-4631
連接的
印度洋
and
波斯灣
(
connected
IndianOcean
SouthPacificOcean
)
Geography.kif 4630-4630
連接的
印度洋
and
南太平洋
(
connected
IndianOcean
SouthernOcean
)
Geography.kif 4632-4632
連接的
印度洋
and
南部海洋
(
connected
MississippiRiver
GulfOfMexico
)
CountriesAndRegions.kif 744-744
連接的
密西西比河
and
GulfOfMexico
(
connected
PersianGulf
StraitOfHormuz
)
Geography.kif 5154-5154
連接的
波斯灣
and
霍爾木茲海峽
(
connected
RedSea
GulfOfAden
)
Geography.kif 5168-5168
連接的
紅海
and
腺嘌呤
(
connected
StraitOfHormuz
GulfOfOman
)
Geography.kif 5160-5160
連接的
霍爾木茲海峽
and
阿曼灣
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