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
engineeringSubcomponent
Sigma KEE - engineeringSubcomponent
engineeringSubcomponent
appearance as argument number 1
(
documentation
engineeringSubcomponent
ChineseLanguage
"(
engineeringSubcomponent
?SUB ?SUPER)的意思是
EngineeringComponent
?SUB 是 ?SUPER 结构上的
properPart
。这关系属于
AsymmetricRelation
因为两个
EngineeringComponent
不可能成为互相的子零件。")
chinese_format.kif 3640-3642
(
documentation
engineeringSubcomponent
EnglishLanguage
"(
engineeringSubcomponent
?SUB ?SUPER) means that the
EngineeringComponent
?SUB is structurally a
properPart
of ?SUPER. This relation is an
AsymmetricRelation
, since two
EngineeringComponent
s cannot be subcomponents of each other.")
Merge.kif 16109-16112
(
domain
engineeringSubcomponent
1
EngineeringComponent
)
Merge.kif 16107-16107
O argumento numero 1 de
engineeringSubcomponent
e' uma
instancia
de
Componente de Engenharia
(
domain
engineeringSubcomponent
2
EngineeringComponent
)
Merge.kif 16108-16108
O argumento numero 2 de
engineeringSubcomponent
e' uma
instancia
de
Componente de Engenharia
(
instance
engineeringSubcomponent
BinaryPredicate
)
Merge.kif 16106-16106
engineeringSubcomponent
e' uma
instancia
de
Predicado Binario
(
subrelation
engineeringSubcomponent
properPart
)
Merge.kif 16105-16105
engineeringSubcomponent
e' uma
sub
-relacao de
properPart
appearance as argument number 2
(
format
ChineseLanguage
engineeringSubcomponent
"%1 %n 是 %2 的
component
")
chinese_format.kif 539-539
(
format
EnglishLanguage
engineeringSubcomponent
"%1 is %n a
component
of %2")
english_format.kif 544-544
(
format
FrenchLanguage
engineeringSubcomponent
"%1 est %n un composant de %2")
french_format.kif 317-317
(
format
ItalianLanguage
engineeringSubcomponent
"%1 è un
component
e di %2")
relations-it.txt 94-94
(
format
JapaneseLanguage
engineeringSubcomponent
"%1 は %2 の
component
では %n")
japanese_format.kif 2085-2085
(
format
PortugueseLanguage
engineeringSubcomponent
"%1 e' %n um
component
e de %2")
portuguese_format.kif 269-269
(
format
de
engineeringSubcomponent
"%1 ist eine komponente von %2")
relations-de.txt 704-704
(
format
hi
engineeringSubcomponent
"%1 %2 kaa ghaTaka hai")
relations-hindi.txt 134-134
(
format
ro
engineeringSubcomponent
"%1 %n{nu} este un
component
%t{modul} al lui %2")
relations-ro.kif 338-338
(
format
sv
engineeringSubcomponent
"%1 är %n{inte} en komponent av %2")
relations-sv.txt 349-349
(
format
tg
engineeringSubcomponent
"%1 ay ang bahagi sa %2")
relations-tg.txt 203-203
(
termFormat
ChineseLanguage
engineeringSubcomponent
"工程子组件")
chinese_format.kif 540-540
(
termFormat
ChineseTraditionalLanguage
engineeringSubcomponent
"工程子組件")
domainEnglishFormat.kif 22113-22113
(
termFormat
EnglishLanguage
engineeringSubcomponent
"engineering subcomponent")
domainEnglishFormat.kif 22112-22112
antecedent
(=>
(
and
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1347-1358
Componente de Engenharia
e' um
componente
de
Internet
Componente de Engenharia
e' um
componente
de
Internet
Componente de Engenharia
e'
igual
a
Componente de Engenharia
Internet
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Communicacao
Entidade
e' um
agente
de
Componente de Engenharia
Entidade
termina
em
Componente de Engenharia
Internet
e' um
instrumento
para
Entidade
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
(=>
(
communicationSatelliteForArea
?AREA ?SATELLITETYPE ?INTEGER)
(
equal
?INTEGER
(
CardinalityFn
(
KappaFn
?SATELLITE
(
and
(
instance
?SATELLITE ?SATELLITETYPE)
(
instance
?SYSTEM
CommunicationSystem
)
(
located
?SYSTEM ?AREA)
(
engineeringSubcomponent
?SATELLITE ?SYSTEM))))))
Communications.kif 142-151
communicationSatelliteForArea
Area Geopolitica
,
Satellite
and
Numero Inteiro
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
and
(
not
(
engineeringSubcomponent
?COMP1 ?COMP2))
(
not
(
engineeringSubcomponent
?COMP2 ?COMP1))))
Merge.kif 16130-16136
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
(=>
(
instance
?PART
InternetServiceProvider
)
(
engineeringSubcomponent
?PART
Internet
))
Communications.kif 447-449
Componente de Engenharia
e' uma
instancia
de
InternetServiceProvider
Componente de Engenharia
e' um
componente
de
Internet
(=>
(
instance
?SAT
CommunicationSatellite
)
(
exists
(?SYSTEM)
(
and
(
instance
?SYSTEM
CommunicationSystem
)
(
engineeringSubcomponent
?SAT ?SYSTEM))))
Communications.kif 125-130
Componente de Engenharia
e' uma
instancia
de
CommunicationSatellite
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
CommunicationSystem
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
(=>
(
instance
?SYSTEM
CableTelevisionSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
TelevisionReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 337-342
Componente de Engenharia
e' uma
instancia
de
CableTelevisionSystem
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
TelevisionReceiver
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
(=>
(
instance
?SYSTEM
RadioSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
RadioReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 310-315
Componente de Engenharia
e' uma
instancia
de
RadioSystem
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
RadioReceiver
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
(=>
(
instance
?SYSTEM
TelephoneSystem
)
(
exists
(?LINE)
(
and
(
instance
?LINE
MainTelephoneLine
)
(
engineeringSubcomponent
?LINE ?SYSTEM))))
Communications.kif 52-57
Componente de Engenharia
e' uma
instancia
de
TelephoneSystem
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
MainTelephoneLine
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
(=>
(
instance
?SYSTEM
TelephoneSystem
)
(
exists
(?PHONE)
(
and
(
instance
?PHONE
Telephone
)
(
engineeringSubcomponent
?PHONE ?SYSTEM))))
Communications.kif 40-45
Componente de Engenharia
e' uma
instancia
de
TelephoneSystem
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Telephone
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
(=>
(
instance
?SYSTEM
TelevisionSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
TelevisionReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 387-392
Componente de Engenharia
e' uma
instancia
de
TelevisionSystem
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
TelevisionReceiver
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
(=>
(
instance
?SYSTEM
TelevisionSystem
)
(
exists
(?STATION)
(
and
(
instance
?STATION
TelevisionStation
)
(
engineeringSubcomponent
?STATION ?SYSTEM))))
Communications.kif 326-331
Componente de Engenharia
e' uma
instancia
de
TelevisionSystem
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
TelevisionStation
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
(=>
(
instance
?X
BabyMonitoringSystem
)
(
exists
(?TX ?RX)
(
and
(
instance
?RX
RadioReceiver
)
(
instance
?TX
Device
)
(
engineeringSubcomponent
?RX ?X)
(
engineeringSubcomponent
?TX ?X)
(
hasPurpose
?X
(
exists
(?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
(
and
(
instance
?BABY
HumanBaby
)
(
instance
?CARER
Human
)
(
located
?BABY ?LOC1)
(
located
?CARER ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?PROC
Maintaining
)
(
patient
?PROC ?BABY)
(
agent
?PROC ?CARER)
(
located
?TX ?LOC1)
(
located
?RX ?LOC2)
(
instance
?SOUND
RadiatingSound
)
(
eventLocated
?SOUND ?LOC1)
(
instance
?RADIO
RadioEmission
)
(
patient
?RADIO ?SOUND)
(
destination
?RADIO ?RX)
(
agent
?RADIO ?TX)))))))
Communications.kif 258-284
Componente de Engenharia
e' uma
instancia
de
BabyMonitoringSystem
Componente de Engenharia
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
RadioReceiver
Componente de Engenharia
e' uma
instancia
de
Aparelho
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
Componente de Engenharia
e' um
componente
de
Componente de Engenharia
Componente de Engenharia
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
HumanBaby
Entidade
e' uma
instancia
de
Humano
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Preservar
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
Componente de Engenharia
e'
situado
em
Entidade
Componente de Engenharia
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
eventLocated
Entidade
and
Entidade
Entidade
e' uma
instancia
de
RadioEmission
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Componente de Engenharia
Entidade
e' um
agente
de
Componente de Engenharia
appearance as argument number 0
(
engineeringSubcomponent
AMRadioStation
RadioSystem
)
Communications.kif 294-294
AMRadioStation
e' um
componente
de
RadioSystem
(
engineeringSubcomponent
BroadcastingStation
CommunicationSystem
)
Communications.kif 220-220
BroadcastingStation
e' um
componente
de
CommunicationSystem
(
engineeringSubcomponent
FMRadioStation
RadioSystem
)
Communications.kif 299-299
FMRadioStation
e' um
componente
de
RadioSystem
(
engineeringSubcomponent
InternetServiceProvider
Internet
)
Communications.kif 443-443
InternetServiceProvider
e' um
componente
de
Internet
(
engineeringSubcomponent
RadioStation
RadioSystem
)
Communications.kif 289-289
RadioStation
e' um
componente
de
RadioSystem
(
engineeringSubcomponent
ShortwaveRadioStation
RadioSystem
)
Communications.kif 304-304
ShortwaveRadioStation
e' um
componente
de
RadioSystem
(
engineeringSubcomponent
TelevisionStation
TelevisionSystem
)
Communications.kif 323-323
TelevisionStation
e' um
componente
de
TelevisionSystem
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