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 16159-16162
(
domain
engineeringSubcomponent
1
EngineeringComponent
)
Merge.kif 16157-16157
域
工程子組件
, 1 and
EngineeringComponent
(
domain
engineeringSubcomponent
2
EngineeringComponent
)
Merge.kif 16158-16158
域
工程子組件
, 2 and
EngineeringComponent
(
instance
engineeringSubcomponent
BinaryPredicate
)
Merge.kif 16156-16156
例
工程子組件
and
BinaryPredicate
(
subrelation
engineeringSubcomponent
properPart
)
Merge.kif 16155-16155
子關係
工程子組件
and
適當的部分
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
工程子組件
EngineeringComponent
and
互聯網
工程子組件
EngineeringComponent
and
互聯網
等於
EngineeringComponent
and
EngineeringComponent
有目的
互聯網
and
entity
例
entity
and
Communication
agent
entity
and
EngineeringComponent
目的地
entity
and
EngineeringComponent
儀器
entity
and
互聯網
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
互聯網
(=>
(
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
那 有
Integer
communiation
衛星
類型的衛星在
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
衛星
例
entity
and
通訊系統
位於
entity
and
GeopoliticalArea
工程子組件
SymbolicString
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
(=>
(
instance
?PART
InternetServiceProvider
)
(
engineeringSubcomponent
?PART
Internet
))
Communications.kif 447-449
例
EngineeringComponent
and
互聯網服務提供商
工程子組件
EngineeringComponent
and
互聯網
(=>
(
instance
?SAT
CommunicationSatellite
)
(
exists
(?SYSTEM)
(
and
(
instance
?SYSTEM
CommunicationSystem
)
(
engineeringSubcomponent
?SAT ?SYSTEM))))
Communications.kif 125-130
例
EngineeringComponent
and
通信衛星
EngineeringComponent
例
EngineeringComponent
and
通訊系統
工程子組件
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?SYSTEM
CableTelevisionSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
TelevisionReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 337-342
例
EngineeringComponent
and
有線電視系統
EngineeringComponent
例
EngineeringComponent
and
電視接收器
工程子組件
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?SYSTEM
RadioSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
RadioReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 310-315
例
EngineeringComponent
and
無線電系統
EngineeringComponent
例
EngineeringComponent
and
無線電接收器
工程子組件
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?SYSTEM
TelephoneSystem
)
(
exists
(?LINE)
(
and
(
instance
?LINE
MainTelephoneLine
)
(
engineeringSubcomponent
?LINE ?SYSTEM))))
Communications.kif 52-57
例
EngineeringComponent
and
電話系統
EngineeringComponent
例
EngineeringComponent
and
主要電話線
工程子組件
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?SYSTEM
TelephoneSystem
)
(
exists
(?PHONE)
(
and
(
instance
?PHONE
Telephone
)
(
engineeringSubcomponent
?PHONE ?SYSTEM))))
Communications.kif 40-45
例
EngineeringComponent
and
電話系統
EngineeringComponent
例
EngineeringComponent
and
電話
工程子組件
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?SYSTEM
TelevisionSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
TelevisionReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 387-392
例
EngineeringComponent
and
電視系統
EngineeringComponent
例
EngineeringComponent
and
電視接收器
工程子組件
EngineeringComponent
and
EngineeringComponent
(=>
(
instance
?SYSTEM
TelevisionSystem
)
(
exists
(?STATION)
(
and
(
instance
?STATION
TelevisionStation
)
(
engineeringSubcomponent
?STATION ?SYSTEM))))
Communications.kif 326-331
例
EngineeringComponent
and
電視系統
EngineeringComponent
例
EngineeringComponent
and
電視台
工程子組件
EngineeringComponent
and
EngineeringComponent
(=>
(
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
例
EngineeringComponent
and
BabyMonitoringSystem
EngineeringComponent
EngineeringComponent
例
EngineeringComponent
and
無線電接收器
例
EngineeringComponent
and
Device
工程子組件
EngineeringComponent
and
EngineeringComponent
工程子組件
EngineeringComponent
and
EngineeringComponent
有目的
EngineeringComponent
and
entity
entity
,
entity
,
entity
,
entity
,
entity
and
entity
例
entity
and
人類寶貝
例
entity
and
Human
位於
entity
and
entity
位於
entity
and
entity
等於
entity
and
entity
例
entity
and
Maintaining
患者
entity
and
entity
agent
entity
and
entity
位於
EngineeringComponent
and
entity
位於
EngineeringComponent
and
entity
例
entity
and
RadiatingSound
entity
是
located
在
entity
例
entity
and
無線電發射
患者
entity
and
entity
目的地
entity
and
EngineeringComponent
agent
entity
and
EngineeringComponent
appearance as argument number 0
(
engineeringSubcomponent
AMRadioStation
RadioSystem
)
Communications.kif 294-294
工程子組件
AM廣播電台
and
無線電系統
(
engineeringSubcomponent
BroadcastingStation
CommunicationSystem
)
Communications.kif 220-220
工程子組件
電台
and
通訊系統
(
engineeringSubcomponent
FMRadioStation
RadioSystem
)
Communications.kif 299-299
工程子組件
調頻廣播電台
and
無線電系統
(
engineeringSubcomponent
InternetServiceProvider
Internet
)
Communications.kif 443-443
工程子組件
互聯網服務提供商
and
互聯網
(
engineeringSubcomponent
RadioStation
RadioSystem
)
Communications.kif 289-289
工程子組件
廣播電台
and
無線電系統
(
engineeringSubcomponent
ShortwaveRadioStation
RadioSystem
)
Communications.kif 304-304
工程子組件
短波電台
and
無線電系統
(
engineeringSubcomponent
TelevisionStation
TelevisionSystem
)
Communications.kif 323-323
工程子組件
電視台
and
電視系統
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