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
(
domain
connectedEngineeringComponents
2
EngineeringComponent
)
Merge.kif 16169-16169
(
instance
connectedEngineeringComponents
IrreflexiveRelation
)
Merge.kif 16165-16165
(
instance
connectedEngineeringComponents
PartialValuedRelation
)
Merge.kif 16166-16166
(
instance
connectedEngineeringComponents
SymmetricRelation
)
Merge.kif 16164-16164
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16167-16167
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
and
(
not
(
engineeringSubcomponent
?COMP1 ?COMP2))
(
not
(
engineeringSubcomponent
?COMP2 ?COMP1))))
Merge.kif 16180-16186
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 16219-16222
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
not
(
or
(
instance
?COMP1
EngineeringConnection
)
(
instance
?COMP2
EngineeringConnection
))))
Merge.kif 16212-16217
consequent
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1365-1371
(=>
(
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
(=>
(
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
(=>
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)
(
connectedEngineeringComponents
?COMP1 ?COMP2))
Merge.kif 16224-16226
(=>
(
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
(=>
(
instance
?CP
ComputerPlug
)
(
hasPurpose
?CP
(
exists
(?P)
(
and
(
instance
?P
ComputerPort
)
(
connectedEngineeringComponents
?CP ?P)))))
ComputingBrands.kif 2608-2614
(=>
(
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
(=>
(
instance
?DPS
DevicePowerSupply
)
(
hasPurpose
?DPS
(
exists
(?AC)
(
and
(
instance
?AC
ACPowerSource
)
(
connectedEngineeringComponents
?DPS ?AC)))))
ComputingBrands.kif 3583-3589
(=>
(
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
(=>
(
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
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?EM)
(
and
(
instance
?EM
ExhaustManifold
)
(
connectedEngineeringComponents
?EV ?EM)))))
Cars.kif 2658-2664
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
instance
?R
Rod
)
(
hasPurpose
?R
(
exists
(?D)
(
connectedEngineeringComponents
?R ?D))))
Cars.kif 4105-4109
(=>
(
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
(=>
(
instance
?T
Tailpipe
)
(
hasPurpose
?T
(
exists
(?M)
(
and
(
instance
?M
AutomobileMuffler
)
(
connectedEngineeringComponents
?M ?T)))))
Cars.kif 4023-4029
(=>
(
instance
?U
USBPort
)
(
hasPurpose
?U
(
exists
(?C)
(
and
(
instance
?C
USBCable
)
(
connectedEngineeringComponents
?C ?U)))))
ComputingBrands.kif 2873-2879
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