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 16098-16106
(
domain
connectedEngineeringComponents
1
EngineeringComponent
)
Merge.kif 16096-16096
connectedEngineeringComponents
の数値 1 引数は
エンジニアリング部品
の
instance
では %n
(
domain
connectedEngineeringComponents
2
EngineeringComponent
)
Merge.kif 16097-16097
connectedEngineeringComponents
の数値 2 引数は
エンジニアリング部品
の
instance
では %n
(
instance
connectedEngineeringComponents
IrreflexiveRelation
)
Merge.kif 16093-16093
connectedEngineeringComponents
は
非反射関係
の
instance
では %n
(
instance
connectedEngineeringComponents
PartialValuedRelation
)
Merge.kif 16094-16094
connectedEngineeringComponents
は
部分的価値関係
の
instance
では %n
(
instance
connectedEngineeringComponents
SymmetricRelation
)
Merge.kif 16092-16092
connectedEngineeringComponents
は
対称関係
の
instance
では %n
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16095-16095
connectedEngineeringComponents
は
connected
の
subrelation
では %n
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
起動
は
エンジニアリング部品
の
attribute
では %n は
物理
の
during
holds %n{ない}
HostReady
は
エンジニアリング部品
の
attribute
では %n は
物理
2 の
during
holds %n{ない}
物理
2 は
物理
の
time
の existence の すぐ
after
と
equal
では %n
エンジニアリング部品
は
ComputerDisplay
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
ステートメント
エンティティー
エンティティー
は
ホームスクリーン
の
instance
では %n
displayedUpon
エンティティー
and
エンジニアリング部品
には
Likely
の
modal
force
が ある
(=>
(
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 2930-2948
エンジニアリング部品
は
EngineGovernor
の
instance
では %n
エンジニアリング部品
は
Engine
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
governorSpeed
エンジニアリング部品
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
デバイス
の
instance
では %n
エンティティー
は
エンジニアリング部品
の
part
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
の
measure
は
エンティティー
の
MilesPerHour
(s) では %n
エンティティー
は
実数
より
greater
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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 2957-2973
エンジニアリング部品
は
EngineGovernor
の
instance
では %n
エンジニアリング部品
は
Vehicle
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
governorSpeed
SpeedGovernor
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンティティー
エンティティー
エンティティー
は
Translocation
の
instance
では %n
エンジニアリング部品
の
measure
は
エンティティー
の
MilesPerHour
(s) では %n
エンティティー
は
実数
より
greater
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
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 2909-2921
エンジニアリング部品
は
SpeedGovernor
の
instance
では %n
governorSpeed
エンジニアリング部品
and
実数
の
MilesPerHour
(s)
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
実数
P2
エンジニアリング部品
の
measure
は
実数
P2 の
MilesPerHour
(s) では %n
実数
P2 は
実数
より
greater
では %n の 目的 %n{ない}
(=>
(
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 25947-25960
エンジニアリング部品
は
ElectricalPlug
の
instance
では %n
エンジニアリング部品
は
ElectricDevice
の
instance
では %n
HoleRegion
は
ElectricalOutlet
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
HoleRegion
を
completely
fill
s %n{ない}
エンジニアリング部品
は
PowerSource
の
instance
では %n
エンジニアリング部品
は
HoleRegion
に
connected
して %n
工程
工程
は
RadiatingElectromagnetic
の
instance
では %n
工程
は
エンジニアリング部品
から
originate
s %n{ない}
工程
は
エンジニアリング部品
に
end
s %n{ない}
(=>
(
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 2114-2133
エンティティー
は
Shaft
の
instance
では %n
エンティティー
は
Shaft
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンジニアリング部品
は
Rotating
の
instance
では %n
エンティティー
は
エンジニアリング部品
の
patient
では %n
エンジニアリング部品
は
Rotating
の
instance
では %n
エンティティー
は
エンジニアリング部品
の
patient
では %n
エンジニアリング部品
は
エンジニアリング部品
を
cause
s %n{ない}
エンジニアリング部品
は
CVJoint
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンティティー
は
RotationFn
エンティティー
and
エンティティー
と
equal
では %n は
エンジニアリング部品
の
time
の existence の
during
holds %n{ない}
エンティティー
は
RotationFn
エンティティー
and
エンティティー
と
equal
では %n は
エンジニアリング部品
の
time
の existence の
during
holds %n{ない}
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
and
(
not
(
engineeringSubcomponent
?COMP1 ?COMP2))
(
not
(
engineeringSubcomponent
?COMP2 ?COMP1))))
Merge.kif 16108-16114
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
エンジニアリング部品
の
component
では
エンジニアリング部品
は
エンジニアリング部品
の
component
では
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 16147-16150
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング接続
エンジニアリング接続
は
エンジニアリング部品
と
エンジニアリング部品
に
connect
s して %n{ない}
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
not
(
or
(
instance
?COMP1
EngineeringConnection
)
(
instance
?COMP2
EngineeringConnection
))))
Merge.kif 16140-16145
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
エンジニアリング接続
の
instance
では %n
エンジニアリング部品
は
エンジニアリング接続
の
instance
では %n
consequent
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1365-1371
エンティティー
は
InternetAccessPoint
の
instance
では %n
エンティティー
は
デバイス
の
instance
では %n
エンティティー
は
Internet
の
component
では %n は
エンティティー
は
エンティティー
に
connected
して %n の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Cam
)
(
instance
?CS
Camshaft
)
(
instance
?E
Engine
)
(
part
?C ?E)
(
part
?CS ?E))
(
hasPurpose
?CS
(
connectedEngineeringComponents
?C ?CS)))
Cars.kif 1660-1668
オブジェクト
は
Cam
の
instance
では %n
オブジェクト
S は
Camshaft
の
instance
では %n
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
S は
オブジェクト
の
part
では %n
オブジェクト
S は
オブジェクト
は
オブジェクト
S に
connected
して %n の 目的 %n{ない}
(=>
(
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
エンジニアリング部品
は
CableModem
の
instance
では %n
工程
は
コミュニケーション
の
instance
では %n
エンジニアリング部品
は
工程
の
instrument
では %n
エンジニアリング部品
エンジニアリング部品
は
Cable
の
instance
では %n
エンジニアリング部品
は
工程
の
instrument
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
(=>
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2))
(
connectedEngineeringComponents
?COMP1 ?COMP2))
Merge.kif 16152-16155
エンジニアリング接続
エンジニアリング接続
は
エンジニアリング部品
と
エンジニアリング部品
に
connect
s して %n{ない}
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
(=>
(
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 2346-2380
物理
は
AutomobileTransmission
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Crankshaft
の
instance
では %n
エンティティー
は
Driveshaft
の
instance
では %n
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
物理
に
connected
して %n
エンティティー
は
物理
に
connected
して %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
と
equal
では
エンティティー
の
measure
は
RotationFn
エンティティー
and
MinuteDuration
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
の
measure
は
RotationFn
エンティティー
and
MinuteDuration
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
の
measure
は
RotationFn
エンティティー
and
MinuteDuration
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
の
measure
は
RotationFn
エンティティー
and
MinuteDuration
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では の 目的 %n{ない}
(=>
(
instance
?CP
ComputerPlug
)
(
hasPurpose
?CP
(
exists
(?P)
(
and
(
instance
?P
ComputerPort
)
(
connectedEngineeringComponents
?CP ?P)))))
ComputingBrands.kif 2608-2614
物理
は
プラグ
の
instance
では %n
物理
は
エンティティー
エンティティー
は
ポート
の
instance
では %n
物理
は
エンティティー
に
connected
して %n の 目的 %n{ない}
(=>
(
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
コレクション
は
ComputerSystem
の
instance
では %n
エンジニアリング部品
エンジニアリング部品
and
エンジニアリング部品
エンジニアリング部品
は
Computer
の
instance
では %n
エンジニアリング部品
は
Computer
の
instance
では %n
エンジニアリング部品
は
ComputerNetwork
の
instance
では %n
エンジニアリング部品
は
コレクション
の
member
では %n
エンジニアリング部品
は
コレクション
の
member
では %n
エンジニアリング部品
は
コレクション
の
member
では %n
エンジニアリング部品
は
エンジニアリング部品
と
equal
では
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
(=>
(
instance
?DPS
DevicePowerSupply
)
(
hasPurpose
?DPS
(
exists
(?AC)
(
and
(
instance
?AC
ACPowerSource
)
(
connectedEngineeringComponents
?DPS ?AC)))))
ComputingBrands.kif 3583-3589
物理
は
DevicePowerSupply
の
instance
では %n
物理
は
エンティティー
エンティティー
は
ACPowerSource
の
instance
では %n
物理
は
エンティティー
に
connected
して %n の 目的 %n{ない}
(=>
(
instance
?ECR
EngineConnectingRod
)
(
hasPurpose
?ECR
(
exists
(?P ?C)
(
and
(
instance
?P
Piston
)
(
instance
?C
Crankshaft
)
(
connectedEngineeringComponents
?P ?ECR)
(
connectedEngineeringComponents
?C ?ECR)))))
Cars.kif 1972-1980
物理
は
EngineConnectingRod
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Piston
の
instance
では %n
エンティティー
は
Crankshaft
の
instance
では %n
エンティティー
は
物理
に
connected
して %n
エンティティー
は
物理
に
connected
して %n の 目的 %n{ない}
(=>
(
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 3286-3295
物理
は
EngineMAPSensor
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
EngineControlModule
の
instance
では %n
エンティティー
は
Automobile
の
instance
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
に
connected
して %n の 目的 %n{ない}
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?EM)
(
and
(
instance
?EM
ExhaustManifold
)
(
connectedEngineeringComponents
?EV ?EM)))))
Cars.kif 2675-2681
物理
は
ExhaustValve
の
instance
では %n
物理
は
エンティティー
エンティティー
は
ExhaustManifold
の
instance
では %n
物理
は
エンティティー
に
connected
して %n の 目的 %n{ない}
(=>
(
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 2711-2728
物理
は
FanBelt
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Pulley
の
instance
では %n
エンティティー
は
Pulley
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
Crankshaft
の
instance
では %n
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
に
connected
して %n
エンティティー
は
物理
に
connected
して %n
物理
は
エンティティー
に
connected
して %n の 目的 %n{ない}
(=>
(
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 3214-3226
オブジェクト
は
JumperCable
の
instance
では %n
エンジニアリング部品
エンジニアリング部品
and
エンジニアリング部品
エンジニアリング部品
は
Clamp
の
instance
では %n
エンジニアリング部品
は
Clamp
の
instance
では %n
エンジニアリング部品
は
Wire
の
instance
では %n
エンジニアリング部品
は
オブジェクト
の
part
では %n
エンジニアリング部品
は
オブジェクト
の
part
では %n
エンジニアリング部品
は
オブジェクト
の
part
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
エンジニアリング部品
は
エンジニアリング部品
と
equal
では
(=>
(
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
工程
は
MountingADevice
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
Computer
の
instance
では %n
エンティティー
は
ComputerIODevice
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
に
connected
して %n は
工程
の
time
の existence の
during
holds %n{ない}
connectedPeripheral
エンティティー
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
物理
は
MechanicalJoint
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
motion
の
instance
では %n
エンティティー
は
PhysicalSystem
の
instance
では %n
エンティティー
は
エンジニアリング部品
の
instance
では %n
エンティティー
は
エンジニアリング部品
の
instance
では %n
エンティティー
は
PhysicalSystem
の
part
では %n
物理
は
PhysicalSystem
の
part
では %n
エンティティー
は
PhysicalSystem
の
part
では %n
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
に
connected
して %n
エンティティー
は
物理
に
connected
して %n の 目的 %n{ない}
(=>
(
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 2293-2308
物理
は
Pulley
の
instance
では %n
物理
は
物理
2
エンティティー
,
エンティティー
and
エンティティー
物理
2 は
Pulley
の
instance
では %n
物理
は
物理
2 と
equal
では
エンティティー
は
Drivebelt
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
Rotating
の
instance
では %n
物理
は
エンティティー
に
connected
して %n
物理
2 は
エンティティー
に
connected
して %n
物理
は
エンティティー
の
patient
では %n
物理
2 は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?R
Rod
)
(
hasPurpose
?R
(
exists
(?D)
(
connectedEngineeringComponents
?R ?D))))
Cars.kif 4120-4124
物理
は
Rod
の
instance
では %n
物理
は
エンティティー
物理
は
エンティティー
に
connected
して %n の 目的 %n{ない}
(=>
(
instance
?SB
SteeringBox
)
(
hasPurpose
?SB
(
exists
(?SW ?SC)
(
and
(
instance
?SW
SteeringWheel
)
(
instance
?SC
SteeringColumn
)
(
connectedEngineeringComponents
?SW ?SC)
(
connectedEngineeringComponents
?SC ?SB)))))
Cars.kif 3970-3978
物理
は
SteeringBox
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
SteeringWheel
の
instance
では %n
エンティティー
は
SteeringColumn
の
instance
では %n
エンティティー
は
エンティティー
に
connected
して %n
エンティティー
は
物理
に
connected
して %n の 目的 %n{ない}
(=>
(
instance
?T
Tailpipe
)
(
hasPurpose
?T
(
exists
(?M)
(
and
(
instance
?M
AutomobileMuffler
)
(
connectedEngineeringComponents
?M ?T)))))
Cars.kif 4038-4044
物理
は
Tailpipe
の
instance
では %n
物理
は
エンティティー
エンティティー
は
AutomobileMuffler
の
instance
では %n
エンティティー
は
物理
に
connected
して %n の 目的 %n{ない}
(=>
(
instance
?U
USBPort
)
(
hasPurpose
?U
(
exists
(?C)
(
and
(
instance
?C
USBCable
)
(
connectedEngineeringComponents
?C ?U)))))
ComputingBrands.kif 2873-2879
物理
は
USBPort
の
instance
では %n
物理
は
エンティティー
エンティティー
は
USB ケーブル
の
instance
では %n
エンティティー
は
物理
に
connected
して %n の 目的 %n{ない}
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