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
O argumento numero 1 de
connectedEngineeringComponents
e' uma
instancia
de
Componente de Engenharia
(
domain
connectedEngineeringComponents
2
EngineeringComponent
)
Merge.kif 16097-16097
O argumento numero 2 de
connectedEngineeringComponents
e' uma
instancia
de
Componente de Engenharia
(
instance
connectedEngineeringComponents
IrreflexiveRelation
)
Merge.kif 16093-16093
connectedEngineeringComponents
e' uma
instancia
de
Relacao Irreflexiva
(
instance
connectedEngineeringComponents
PartialValuedRelation
)
Merge.kif 16094-16094
connectedEngineeringComponents
e' uma
instancia
de
Relacao Parcial
(
instance
connectedEngineeringComponents
SymmetricRelation
)
Merge.kif 16092-16092
connectedEngineeringComponents
e' uma
instancia
de
Relacao Simetrica
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16095-16095
connectedEngineeringComponents
e' uma
sub
-relacao de
connected
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
Booting
e' um
atributo
de
Componente de Engenharia
vale
durante
Fisico
HostReady
e' um
atributo
de
Componente de Engenharia
vale
durante
Fisico
2
Fisico
2 e'
igual
a imediatemente
apos
tempo
de existencia de
Fisico
Componente de Engenharia
e' uma
instancia
de
ComputerDisplay
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
o argumento
Entidade
Entidade
e' uma
instancia
de
HomeScreen
displayedUpon
Entidade
and
Componente de Engenharia
tem a
forca
modal
de
Likely
(=>
(
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
Componente de Engenharia
e' uma
instancia
de
EngineGovernor
Componente de Engenharia
e' uma
instancia
de
Engine
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
governorSpeed
Componente de Engenharia
and
Numero Real
MilesPerHour
(s)
Componente de Engenharia
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Aparelho
Entidade
e' uma &parte de
Componente de Engenharia
Entidade
e' uma
instancia
de
Rotating
a
medida
de
Entidade
e'
Entidade
MilesPerHour
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Entidade
(=>
(
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
Componente de Engenharia
e' uma
instancia
de
EngineGovernor
Componente de Engenharia
e' uma
instancia
de
Vehicle
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
governorSpeed
SpeedGovernor
and
Numero Real
MilesPerHour
(s)
Componente de Engenharia
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Translocation
a
medida
de
Componente de Engenharia
e'
Entidade
MilesPerHour
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Entidade
(=>
(
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
Componente de Engenharia
e' uma
instancia
de
SpeedGovernor
governorSpeed
Componente de Engenharia
and
Numero Real
MilesPerHour
(s)
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
tem por
fim
Numero Real
P2 a
medida
de
Componente de Engenharia
e'
Numero Real
P2
MilesPerHour
(s)
Numero Real
P2 e'
maior
que
Numero Real
(=>
(
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
Componente de Engenharia
e' uma
instancia
de
ElectricalPlug
Componente de Engenharia
e' uma
instancia
de
ElectricDevice
Buraco
e' uma
instancia
de
ElectricalOutlet
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
completa
completemente
Buraco
Componente de Engenharia
e' uma
instancia
de
PowerSource
Componente de Engenharia
e'
conectado
a
Buraco
Processo
Processo
e' uma
instancia
de
RadiatingElectromagnetic
Processo
tem como
origem
Componente de Engenharia
Processo
termina
em
Componente de Engenharia
(=>
(
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
Entidade
e' uma
instancia
de
Shaft
Entidade
e' uma
instancia
de
Shaft
Entidade
e'
igual
a
Entidade
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
causa
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
CVJoint
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
and
(
not
(
engineeringSubcomponent
?COMP1 ?COMP2))
(
not
(
engineeringSubcomponent
?COMP2 ?COMP1))))
Merge.kif 16108-16114
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 16147-16150
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Conexao de Engenharia
Conexao de Engenharia
conecta
Componente de Engenharia
e
Componente de Engenharia
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
not
(
or
(
instance
?COMP1
EngineeringConnection
)
(
instance
?COMP2
EngineeringConnection
))))
Merge.kif 16140-16145
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Conexao de Engenharia
Componente de Engenharia
e' uma
instancia
de
Conexao de Engenharia
consequent
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1365-1371
Entidade
e' uma
instancia
de
InternetAccessPoint
Entidade
e' uma
instancia
de
Aparelho
Entidade
e' um
componente
de
Internet
vale
durante
tempo
de existencia de
Entidade
e'
conectado
a
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
Cam
Objeto
S e' uma
instancia
de
Camshaft
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma &parte de
Objeto
Objeto
S e' uma &parte de
Objeto
Objeto
S tem por
fim
Objeto
e'
conectado
a
Objeto
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
Componente de Engenharia
e' uma
instancia
de
CableModem
Processo
e' uma
instancia
de
Communicacao
Componente de Engenharia
e' um
instrumento
para
Processo
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Cable
Componente de Engenharia
e' um
instrumento
para
Processo
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
(=>
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2))
(
connectedEngineeringComponents
?COMP1 ?COMP2))
Merge.kif 16152-16155
Conexao de Engenharia
Conexao de Engenharia
conecta
Componente de Engenharia
e
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
(=>
(
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
Fisico
e' uma
instancia
de
AutomobileTransmission
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Crankshaft
Entidade
e' uma
instancia
de
Driveshaft
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e'
conectado
a
Fisico
Entidade
e'
conectado
a
Fisico
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
causa
Entidade
Entidade
causa
Entidade
Entidade
e'
igual
a
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
instance
?CP
ComputerPlug
)
(
hasPurpose
?CP
(
exists
(?P)
(
and
(
instance
?P
ComputerPort
)
(
connectedEngineeringComponents
?CP ?P)))))
ComputingBrands.kif 2608-2614
Fisico
e' uma
instancia
de
ComputerPlug
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
ComputerPort
Fisico
e'
conectado
a
Entidade
(=>
(
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
Colecao
e' uma
instancia
de
ComputerSystem
Componente de Engenharia
Componente de Engenharia
and
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Computer
Componente de Engenharia
e' uma
instancia
de
Computer
Componente de Engenharia
e' uma
instancia
de
ComputerNetwork
Componente de Engenharia
e'
membro
de
Colecao
Componente de Engenharia
e'
membro
de
Colecao
Componente de Engenharia
e'
membro
de
Colecao
Componente de Engenharia
e'
igual
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
(=>
(
instance
?DPS
DevicePowerSupply
)
(
hasPurpose
?DPS
(
exists
(?AC)
(
and
(
instance
?AC
ACPowerSource
)
(
connectedEngineeringComponents
?DPS ?AC)))))
ComputingBrands.kif 3583-3589
Fisico
e' uma
instancia
de
DevicePowerSupply
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
ACPowerSource
Fisico
e'
conectado
a
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
EngineConnectingRod
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Piston
Entidade
e' uma
instancia
de
Crankshaft
Entidade
e'
conectado
a
Fisico
Entidade
e'
conectado
a
Fisico
(=>
(
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
Fisico
e' uma
instancia
de
EngineMAPSensor
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
EngineControlModule
Entidade
e' uma
instancia
de
Automobile
Fisico
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Fisico
e'
conectado
a
Entidade
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?EM)
(
and
(
instance
?EM
ExhaustManifold
)
(
connectedEngineeringComponents
?EV ?EM)))))
Cars.kif 2675-2681
Fisico
e' uma
instancia
de
ExhaustValve
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
ExhaustManifold
Fisico
e'
conectado
a
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
FanBelt
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Pulley
Entidade
e' uma
instancia
de
Pulley
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Crankshaft
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
Entidade
e'
conectado
a
Entidade
Entidade
e'
conectado
a
Fisico
Fisico
e'
conectado
a
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
JumperCable
Componente de Engenharia
Componente de Engenharia
and
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Clamp
Componente de Engenharia
e' uma
instancia
de
Clamp
Componente de Engenharia
e' uma
instancia
de
Wire
Componente de Engenharia
e' uma &parte de
Objeto
Componente de Engenharia
e' uma &parte de
Objeto
Componente de Engenharia
e' uma &parte de
Objeto
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
igual
a
Componente de Engenharia
(=>
(
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
Processo
e' uma
instancia
de
MountingADevice
Entidade
Entidade
Entidade
e' uma
instancia
de
Computer
Entidade
e' uma
instancia
de
ComputerIODevice
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
a
Entidade
vale
durante
tempo
de existencia de
Processo
connectedPeripheral
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
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
Fisico
e' uma
instancia
de
MechanicalJoint
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Movimento
Entidade
e' uma
instancia
de
PhysicalSystem
Entidade
e' uma
instancia
de
Componente de Engenharia
Entidade
e' uma
instancia
de
Componente de Engenharia
Entidade
e' uma &parte de
PhysicalSystem
Fisico
e' uma &parte de
PhysicalSystem
Entidade
e' uma &parte de
PhysicalSystem
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e'
conectado
a
Fisico
Entidade
e'
conectado
a
Fisico
(=>
(
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
Fisico
e' uma
instancia
de
Pulley
Fisico
tem por
fim
Fisico
2
Entidade
,
Entidade
and
Entidade
Fisico
2 e' uma
instancia
de
Pulley
Fisico
e'
igual
a
Fisico
2
Entidade
e' uma
instancia
de
Drivebelt
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Fisico
e'
conectado
a
Entidade
Fisico
2 e'
conectado
a
Entidade
Fisico
e' um
patient
de
Entidade
Fisico
2 e' um
patient
de
Entidade
Entidade
causa
Entidade
(=>
(
instance
?R
Rod
)
(
hasPurpose
?R
(
exists
(?D)
(
connectedEngineeringComponents
?R ?D))))
Cars.kif 4120-4124
Fisico
e' uma
instancia
de
Rod
Fisico
tem por
fim
Entidade
Fisico
e'
conectado
a
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
SteeringBox
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
SteeringWheel
Entidade
e' uma
instancia
de
SteeringColumn
Entidade
e'
conectado
a
Entidade
Entidade
e'
conectado
a
Fisico
(=>
(
instance
?T
Tailpipe
)
(
hasPurpose
?T
(
exists
(?M)
(
and
(
instance
?M
AutomobileMuffler
)
(
connectedEngineeringComponents
?M ?T)))))
Cars.kif 4038-4044
Fisico
e' uma
instancia
de
Tailpipe
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
AutomobileMuffler
Entidade
e'
conectado
a
Fisico
(=>
(
instance
?U
USBPort
)
(
hasPurpose
?U
(
exists
(?C)
(
and
(
instance
?C
USBCable
)
(
connectedEngineeringComponents
?C ?U)))))
ComputingBrands.kif 2873-2879
Fisico
e' uma
instancia
de
USBPort
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
USBCable
Entidade
e'
conectado
a
Fisico
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