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
connectedEngineeringComponents
Sigma KEE - connectedEngineeringComponents
connectedEngineeringComponents
appearance as argument number 1
(
documentation
connectedEngineeringComponents
ChineseLanguage
"这是
EngineeringComponent
之间最普遍的连接关系。如果(
connectedEngineeringComponents
?COMP1 ?COMP2),那么既非 ?COMP1 也非 ?COMP2 可以成为对方的
engineeringSubcomponent
。
connected
EngineeringComponent 关系属于
SymmetricRelation
,它并没有区别两个组件之间连接的方向。这也是
IrreflexiveRelation
,没有一个
EngineeringComponent
会和自身建立这种关系。注:这种关系不会和一个名称或类型挂钩。")
chinese_format.kif 3643-3647
(
documentation
connectedEngineeringComponents
EnglishLanguage
"This is the most general connection relation between
EngineeringComponent
s. If (
connectedEngineeringComponents
?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an
engineeringSubcomponent
of the other. The relation
connectedEngineeringComponents
is a
SymmetricRelation
, there is no information in the direction of connection between two components. It is also an
IrreflexiveRelation
, no
EngineeringComponent
bears this relation to itself. Note that this relation does not associate a name or type with the connection.")
Merge.kif 16170-16178
(
domain
connectedEngineeringComponents
1
EngineeringComponent
)
Merge.kif 16168-16168
域
連接的工程組件
, 1 and
EngineeringComponent
(
domain
connectedEngineeringComponents
2
EngineeringComponent
)
Merge.kif 16169-16169
域
連接的工程組件
, 2 and
EngineeringComponent
(
instance
connectedEngineeringComponents
IrreflexiveRelation
)
Merge.kif 16165-16165
例
連接的工程組件
and
IrreflexiveRelation
(
instance
connectedEngineeringComponents
PartialValuedRelation
)
Merge.kif 16166-16166
例
連接的工程組件
and
PartialValuedRelation
(
instance
connectedEngineeringComponents
SymmetricRelation
)
Merge.kif 16164-16164
例
連接的工程組件
and
SymmetricRelation
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16167-16167
子關係
連接的工程組件
and
連接的
appearance as argument number 2
(
format
ChineseLanguage
connectedEngineeringComponents
"%1 %n 是 和 %2
connected
")
chinese_format.kif 541-541
(
format
EnglishLanguage
connectedEngineeringComponents
"%1 is %n
connected
to %2")
english_format.kif 546-546
(
format
FrenchLanguage
connectedEngineeringComponents
"%1 est %n connect� � %2")
french_format.kif 318-318
(
format
ItalianLanguage
connectedEngineeringComponents
"%1 è connesso a %2")
relations-it.txt 53-53
(
format
JapaneseLanguage
connectedEngineeringComponents
"%1 は %2 に
connected
して %n")
japanese_format.kif 2086-2086
(
format
PortugueseLanguage
connectedEngineeringComponents
"%1 e' %n conectado a %2")
portuguese_format.kif 270-270
(
format
cb
connectedEngineeringComponents
"%1 ay mingkabit sa %2")
relations-cb.txt 87-87
(
format
de
connectedEngineeringComponents
"%1 wird mit %2 angeschlossen")
relations-de.txt 707-707
(
format
hi
connectedEngineeringComponents
"%1 %2 se judaa huaa hai")
relations-hindi.txt 94-94
(
format
ro
connectedEngineeringComponents
"%1 %n{nu} este
connected
%t{interfaþatã} cu %2")
relations-ro.kif 339-339
(
format
sv
connectedEngineeringComponents
"%1 är %n{inte} ansluten till %2")
relations-sv.txt 350-350
(
format
tg
connectedEngineeringComponents
"%1 ay nagkabit sa %2")
relations-tg.txt 122-122
(
termFormat
ChineseLanguage
connectedEngineeringComponents
"相连工程子组件")
chinese_format.kif 542-542
(
termFormat
ChineseLanguage
connectedEngineeringComponents
"连接的工程组件")
domainEnglishFormat.kif 16650-16650
(
termFormat
ChineseTraditionalLanguage
connectedEngineeringComponents
"連接的工程組件")
domainEnglishFormat.kif 16649-16649
(
termFormat
EnglishLanguage
connectedEngineeringComponents
"connected engineering components")
domainEnglishFormat.kif 16648-16648
(
termFormat
tg
connectedEngineeringComponents
"nagkabit bahagi")
relations-tg.txt 123-123
antecedent
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
持有期間
Physical
and
attribute
EngineeringComponent
and
啟動中
持有期間
Physical
and
attribute
EngineeringComponent
and
準備好主持
等於
Physical
and
眼前的未來
何時
Physical
例
EngineeringComponent
and
ComputerDisplay
連接的工程組件
EngineeringComponent
and
EngineeringComponent
模態屬性
entity
例
entity
and
主頁面
entity
是在
EngineeringComponent
displayed
and
容易
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2913-2931
例
EngineeringComponent
and
EngineGovernor
例
EngineeringComponent
and
發動機
連接的工程組件
EngineeringComponent
and
EngineeringComponent
governorSpeed
EngineeringComponent
and
測量
RealNumber
and
MilesPerHour
有目的
EngineeringComponent
and
entity
entity
and
entity
例
entity
and
Device
部分
entity
and
EngineeringComponent
例
entity
and
旋轉
持有期間
何時
entity
and
測量
entity
and
測量
entity
and
MilesPerHour
比較多
entity
and
RealNumber
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?V
Vehicle
)
(
connectedEngineeringComponents
?EG ?V)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?T ?M)
(
and
(
instance
?T
Translocation
)
(
holdsDuring
(
WhenFn
?T)
(
and
(
measure
?V
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2940-2956
例
EngineeringComponent
and
EngineGovernor
例
EngineeringComponent
and
車輛
連接的工程組件
EngineeringComponent
and
EngineeringComponent
governorSpeed
SpeedGovernor
and
測量
RealNumber
and
MilesPerHour
有目的
EngineeringComponent
and
entity
entity
例
entity
and
易位
持有期間
何時
entity
and
測量
EngineeringComponent
and
測量
entity
and
MilesPerHour
比較多
entity
and
RealNumber
(=>
(
and
(
instance
?G
SpeedGovernor
)
(
governorSpeed
?V
(
MeasureFn
?S
MilesPerHour
))
(
connectedEngineeringComponents
?G ?V))
(
hasPurpose
?G
(
not
(
exists
(?SP2)
(
and
(
measure
?V
(
MeasureFn
?SP2
MilesPerHour
))
(
greaterThan
?SP2 ?S))))))
Cars.kif 2892-2904
例
EngineeringComponent
and
SpeedGovernor
governorSpeed
EngineeringComponent
and
測量
RealNumber
and
MilesPerHour
連接的工程組件
EngineeringComponent
and
EngineeringComponent
有目的
EngineeringComponent
and
RealNumber
P2
測量
EngineeringComponent
and
測量
RealNumber
P2 and
MilesPerHour
比較多
RealNumber
P2 and
RealNumber
(=>
(
and
(
instance
?PLUG
ElectricalPlug
)
(
instance
?DEVICE
ElectricDevice
)
(
instance
?OUTLET
ElectricalOutlet
)
(
connectedEngineeringComponents
?DEVICE ?PLUG)
(
completelyFills
?PLUG ?OUTLET)
(
instance
?POWER
PowerSource
)
(
connectedEngineeringComponents
?POWER ?OUTLET))
(
exists
(?RE)
(
and
(
instance
?RE
RadiatingElectromagnetic
)
(
origin
?RE ?POWER)
(
destination
?RE ?DEVICE))))
Mid-level-ontology.kif 25980-25993
例
EngineeringComponent
and
ElectricalPlug
例
EngineeringComponent
and
電器
例
HoleRegion
and
ElectricalOutlet
連接的工程組件
EngineeringComponent
and
EngineeringComponent
完全填滿
EngineeringComponent
and
HoleRegion
例
EngineeringComponent
and
能量源
連接的工程組件
EngineeringComponent
and
HoleRegion
Process
例
Process
and
輻射電磁
起源
Process
and
EngineeringComponent
目的地
Process
and
EngineeringComponent
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2097-2116
例
Entity
and
軸
例
Entity
and
軸
等於
Entity
and
Entity
例
EngineeringComponent
and
旋轉
患者
EngineeringComponent
and
Entity
例
EngineeringComponent
and
旋轉
患者
EngineeringComponent
and
Entity
原因
EngineeringComponent
and
EngineeringComponent
例
EngineeringComponent
and
CVJoint
連接的工程組件
EngineeringComponent
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
持有期間
何時
EngineeringComponent
and
等於
Entity
and
RotationFn
entity
and
entity
持有期間
何時
EngineeringComponent
and
等於
Entity
and
RotationFn
entity
and
entity
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
and
(
not
(
engineeringSubcomponent
?COMP1 ?COMP2))
(
not
(
engineeringSubcomponent
?COMP2 ?COMP1))))
Merge.kif 16180-16186
連接的工程組件
EngineeringComponent
and
EngineeringComponent
工程子組件
EngineeringComponent
and
EngineeringComponent
工程子組件
EngineeringComponent
and
EngineeringComponent
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 16219-16222
連接的工程組件
EngineeringComponent
and
EngineeringComponent
EngineeringConnection
連接工程組件
EngineeringConnection
,
EngineeringComponent
and
EngineeringComponent
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
not
(
or
(
instance
?COMP1
EngineeringConnection
)
(
instance
?COMP2
EngineeringConnection
))))
Merge.kif 16212-16217
連接的工程組件
EngineeringComponent
and
EngineeringComponent
例
EngineeringComponent
and
EngineeringConnection
例
EngineeringComponent
and
EngineeringConnection
consequent
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1365-1371
例
Entity
and
InternetAccessPoint
例
Entity
and
Device
持有期間
何時
連接的工程組件
Entity
and
Entity
and
工程子組件
Entity
and
互聯網
(=>
(
and
(
instance
?C
Cam
)
(
instance
?CS
Camshaft
)
(
instance
?E
Engine
)
(
part
?C ?E)
(
part
?CS ?E))
(
hasPurpose
?CS
(
connectedEngineeringComponents
?C ?CS)))
Cars.kif 1666-1674
例
Object
and
Cam
例
Object
S and
Camshaft
例
Object
and
發動機
部分
Object
and
Object
部分
Object
S and
Object
有目的
Object
S and
連接的工程組件
Object
and
Object
S
(=>
(
and
(
instance
?MODEM
CableModem
)
(
instance
?COMM
Communication
)
(
instrument
?COMM ?MODEM))
(
exists
(?CABLE)
(
and
(
instance
?CABLE
Cable
)
(
instrument
?COMM ?CABLE)
(
connectedEngineeringComponents
?CABLE ?MODEM))))
ComputerInput.kif 577-586
例
EngineeringComponent
and
CableModem
例
Process
and
Communication
儀器
Process
and
EngineeringComponent
EngineeringComponent
例
EngineeringComponent
and
Cable
儀器
Process
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
(=>
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)
(
connectedEngineeringComponents
?COMP1 ?COMP2))
Merge.kif 16224-16226
連接工程組件
EngineeringConnection
,
EngineeringComponent
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?AT
AutomobileTransmission
)
(
hasPurpose
?AT
(
exists
(?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
(
and
(
instance
?C
Crankshaft
)
(
instance
?D
Driveshaft
)
(
instance
?A
Automobile
)
(
part
?D ?A)
(
part
?AT ?A)
(
part
?C ?A)
(
connectedEngineeringComponents
?C ?AT)
(
connectedEngineeringComponents
?D ?AT)
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
instance
?R3
Rotating
)
(
instance
?R4
Rotating
)
(
patient
?R1 ?C)
(
patient
?R2 ?C)
(
patient
?R3 ?D)
(
patient
?R4 ?D)
(
causes
?R1 ?R3)
(
causes
?R2 ?R4)
(
not
(
equal
?R1 ?R2))
(
holdsDuring
?R1
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R2
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R3
(
measure
?D
(
RotationFn
?N2
MinuteDuration
)))
(
holdsDuring
?R4
(
measure
?D
(
RotationFn
?N3
MinuteDuration
)))
(
not
(
equal
?N2 ?N3))))))
Cars.kif 2329-2363
例
Physical
and
AutomobileTransmission
有目的
Physical
and
entity
entity
,
entity
,
entity
,
entity
,
entity
,
entity
,
entity
,
entity
and
entity
例
entity
and
Crankshaft
例
entity
and
Driveshaft
例
entity
and
汽車
部分
entity
and
entity
部分
Physical
and
entity
部分
entity
and
entity
連接的工程組件
entity
and
Physical
連接的工程組件
entity
and
Physical
例
entity
and
旋轉
例
entity
and
旋轉
例
entity
and
旋轉
例
entity
and
旋轉
患者
entity
and
entity
患者
entity
and
entity
患者
entity
and
entity
患者
entity
and
entity
原因
entity
and
entity
原因
entity
and
entity
等於
entity
and
entity
持有期間
entity
and
測量
entity
and
RotationFn
entity
and
分鐘
持有期間
entity
and
測量
entity
and
RotationFn
entity
and
分鐘
持有期間
entity
and
測量
entity
and
RotationFn
entity
and
分鐘
持有期間
entity
and
測量
entity
and
RotationFn
entity
and
分鐘
等於
entity
and
entity
(=>
(
instance
?CP
ComputerPlug
)
(
hasPurpose
?CP
(
exists
(?P)
(
and
(
instance
?P
ComputerPort
)
(
connectedEngineeringComponents
?CP ?P)))))
ComputingBrands.kif 2608-2614
例
Physical
and
插頭
有目的
Physical
and
entity
例
entity
and
端口
連接的工程組件
Physical
and
entity
(=>
(
instance
?CS
ComputerSystem
)
(
exists
(?C1 ?C2 ?CN)
(
and
(
instance
?C1
Computer
)
(
instance
?C2
Computer
)
(
instance
?CN
ComputerNetwork
)
(
member
?C1 ?CS)
(
member
?C2 ?CS)
(
member
?CN ?CS)
(
not
(
equal
?C1 ?C2))
(
connectedEngineeringComponents
?C1 ?CN)
(
connectedEngineeringComponents
?C2 ?CN))))
ComputingBrands.kif 3324-3337
例
Collection
and
ComputerSystem
EngineeringComponent
EngineeringComponent
and
EngineeringComponent
例
EngineeringComponent
and
電腦
例
EngineeringComponent
and
電腦
例
EngineeringComponent
and
計算機網絡
會員
EngineeringComponent
and
Collection
會員
EngineeringComponent
and
Collection
會員
EngineeringComponent
and
Collection
等於
EngineeringComponent
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?DPS
DevicePowerSupply
)
(
hasPurpose
?DPS
(
exists
(?AC)
(
and
(
instance
?AC
ACPowerSource
)
(
connectedEngineeringComponents
?DPS ?AC)))))
ComputingBrands.kif 3583-3589
例
Physical
and
DevicePowerSupply
有目的
Physical
and
entity
例
entity
and
ACPowerSource
連接的工程組件
Physical
and
entity
(=>
(
instance
?ECR
EngineConnectingRod
)
(
hasPurpose
?ECR
(
exists
(?P ?C)
(
and
(
instance
?P
Piston
)
(
instance
?C
Crankshaft
)
(
connectedEngineeringComponents
?P ?ECR)
(
connectedEngineeringComponents
?C ?ECR)))))
Cars.kif 1955-1963
例
Physical
and
EngineConnectingRod
有目的
Physical
and
entity
entity
例
entity
and
Piston
例
entity
and
Crankshaft
連接的工程組件
entity
and
Physical
連接的工程組件
entity
and
Physical
(=>
(
instance
?EMS
EngineMAPSensor
)
(
hasPurpose
?EMS
(
exists
(?ECM ?A)
(
and
(
instance
?ECM
EngineControlModule
)
(
instance
?A
Automobile
)
(
part
?EMS ?A)
(
part
?ECM ?A)
(
connectedEngineeringComponents
?EMS ?ECM)))))
Cars.kif 3271-3280
例
Physical
and
EngineMAPSensor
有目的
Physical
and
entity
entity
例
entity
and
EngineControlModule
例
entity
and
汽車
部分
Physical
and
entity
部分
entity
and
entity
連接的工程組件
Physical
and
entity
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?EM)
(
and
(
instance
?EM
ExhaustManifold
)
(
connectedEngineeringComponents
?EV ?EM)))))
Cars.kif 2658-2664
例
Physical
and
ExhaustValve
有目的
Physical
and
entity
例
entity
and
ExhaustManifold
連接的工程組件
Physical
and
entity
(=>
(
instance
?FB
FanBelt
)
(
hasPurpose
?FB
(
exists
(?P1 ?P2 ?C ?A)
(
and
(
instance
?P1
Pulley
)
(
instance
?P2
Pulley
)
(
not
(
equal
?P1 ?P2))
(
instance
?C
Crankshaft
)
(
instance
?A
Automobile
)
(
part
?P1 ?A)
(
part
?P2 ?A)
(
part
?C ?A)
(
part
?FB ?A)
(
connectedEngineeringComponents
?C ?P1)
(
connectedEngineeringComponents
?P1 ?FB)
(
connectedEngineeringComponents
?FB ?P2)))))
Cars.kif 2694-2711
例
Physical
and
FanBelt
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
Pulley
例
entity
and
Pulley
等於
entity
and
entity
例
entity
and
Crankshaft
例
entity
and
汽車
部分
entity
and
entity
部分
entity
and
entity
部分
entity
and
entity
部分
Physical
and
entity
連接的工程組件
entity
and
entity
連接的工程組件
entity
and
Physical
連接的工程組件
Physical
and
entity
(=>
(
instance
?JC
JumperCable
)
(
exists
(?C1 ?C2 ?W)
(
and
(
instance
?C1
Clamp
)
(
instance
?C2
Clamp
)
(
instance
?W
Wire
)
(
part
?C1 ?JC)
(
part
?C2 ?JC)
(
part
?W ?JC)
(
connectedEngineeringComponents
?C1 ?W)
(
connectedEngineeringComponents
?C2 ?W)
(
not
(
equal
?C1 ?C2)))))
Cars.kif 3199-3211
例
Object
and
JumperCable
EngineeringComponent
EngineeringComponent
and
EngineeringComponent
例
EngineeringComponent
and
鉗
例
EngineeringComponent
and
鉗
例
EngineeringComponent
and
線
部分
EngineeringComponent
and
Object
部分
EngineeringComponent
and
Object
部分
EngineeringComponent
and
Object
連接的工程組件
EngineeringComponent
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
等於
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?MD
MountingADevice
)
(
exists
(?C ?P)
(
and
(
instance
?C
Computer
)
(
instance
?P
ComputerIODevice
)
(
patient
?MD ?C)
(
patient
?MD ?P)
(
holdsDuring
(
WhenFn
?MD)
(
connectedEngineeringComponents
?C ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MD))
(
connectedPeripheral
?P ?C)))))
ComputingBrands.kif 3801-3812
例
Process
and
MountingADevice
Entity
Entity
例
Entity
and
電腦
例
Entity
and
ComputerIODevice
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
何時
Process
and
連接的工程組件
Entity
and
Entity
持有期間
眼前的未來
何時
Process
and
connectedPeripheral
Entity
and
Entity
(=>
(
instance
?MJ
MechanicalJoint
)
(
hasPurpose
?MJ
(
exists
(?S ?P1 ?P2 ?M)
(
and
(
instance
?M
Motion
)
(
instance
?S
PhysicalSystem
)
(
instance
?P1
EngineeringComponent
)
(
instance
?P2
EngineeringComponent
)
(
part
?P1
PhysicalSystem
)
(
part
?MJ
PhysicalSystem
)
(
part
?P2
PhysicalSystem
)
(
not
(
patient
?M ?P1))
(
patient
?M ?P2)
(
connectedEngineeringComponents
?P1 ?MJ)
(
connectedEngineeringComponents
?P2 ?MJ)))))
Cars.kif 1381-1397
例
Physical
and
MechanicalJoint
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
Motion
例
entity
and
物理系統
例
entity
and
EngineeringComponent
例
entity
and
EngineeringComponent
部分
entity
and
物理系統
部分
Physical
and
物理系統
部分
entity
and
物理系統
患者
entity
and
entity
患者
entity
and
entity
連接的工程組件
entity
and
Physical
連接的工程組件
entity
and
Physical
(=>
(
instance
?P
Pulley
)
(
hasPurpose
?P
(
exists
(?P2 ?D ?R1 ?R2)
(
and
(
instance
?P2
Pulley
)
(
not
(
equal
?P ?P2))
(
instance
?D
Drivebelt
)
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
connectedEngineeringComponents
?P ?D)
(
connectedEngineeringComponents
?P2 ?D)
(
patient
?R1 ?P)
(
patient
?R2 ?P2)
(
causes
?R1 ?R2)))))
Cars.kif 2276-2291
例
Physical
and
Pulley
有目的
Physical
and
Physical
entity
,
entity
and
entity
例
Physical
and
Pulley
等於
Physical
and
Physical
例
entity
and
Drivebelt
例
entity
and
旋轉
例
entity
and
旋轉
連接的工程組件
Physical
and
entity
連接的工程組件
Physical
and
entity
患者
entity
and
Physical
患者
entity
and
Physical
原因
entity
and
entity
(=>
(
instance
?R
Rod
)
(
hasPurpose
?R
(
exists
(?D)
(
connectedEngineeringComponents
?R ?D))))
Cars.kif 4105-4109
例
Physical
and
Rod
有目的
Physical
and
entity
連接的工程組件
Physical
and
entity
(=>
(
instance
?SB
SteeringBox
)
(
hasPurpose
?SB
(
exists
(?SW ?SC)
(
and
(
instance
?SW
SteeringWheel
)
(
instance
?SC
SteeringColumn
)
(
connectedEngineeringComponents
?SW ?SC)
(
connectedEngineeringComponents
?SC ?SB)))))
Cars.kif 3955-3963
例
Physical
and
SteeringBox
有目的
Physical
and
entity
entity
例
entity
and
方向盤
例
entity
and
SteeringColumn
連接的工程組件
entity
and
entity
連接的工程組件
entity
and
Physical
(=>
(
instance
?T
Tailpipe
)
(
hasPurpose
?T
(
exists
(?M)
(
and
(
instance
?M
AutomobileMuffler
)
(
connectedEngineeringComponents
?M ?T)))))
Cars.kif 4023-4029
例
Physical
and
Tailpipe
有目的
Physical
and
entity
例
entity
and
AutomobileMuffler
連接的工程組件
entity
and
Physical
(=>
(
instance
?U
USBPort
)
(
hasPurpose
?U
(
exists
(?C)
(
and
(
instance
?C
USBCable
)
(
connectedEngineeringComponents
?C ?U)))))
ComputingBrands.kif 2873-2879
例
Physical
and
USBPort
有目的
Physical
and
entity
例
entity
and
USBCable
連接的工程組件
entity
and
Physical
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