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 16087-16090
(
domain
engineeringSubcomponent
1
EngineeringComponent
)
Merge.kif 16085-16085
工程子组件
的 1 数量 是
工程组件
的
instance
(
domain
engineeringSubcomponent
2
EngineeringComponent
)
Merge.kif 16086-16086
工程子组件
的 2 数量 是
工程组件
的
instance
(
instance
engineeringSubcomponent
BinaryPredicate
)
Merge.kif 16084-16084
工程子组件
是
二元谓语
的
instance
(
subrelation
engineeringSubcomponent
properPart
)
Merge.kif 16083-16083
工程子组件
是
真正的部分
的
subrelation
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
如果
工程组件
是
互联网
的
component
和
另一个 工程组件
是
互联网
的
component
和
那个 工程组件
不
equal
那个 另外 工程组件
,
然后
互联网
的 目的 是 有存在
实体
这样
那个 实体
是
沟通
的
instance
和
那个 工程组件
是
那个 实体
的
agent
和
那个 实体
在
那个 另外 工程组件
结束 和
互联网
是导致
那个 实体
的
instrument
consequent
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1365-1371
如果
实体
是
InternetAccessPoint
的
instance
和
另一个 实体
是
设备
的
instance
,
然后
那个 另外 实体
是
互联网
的
component
在
那个 另外 实体
是 和
那个 实体
connected
出现 的
time
holdsDuring
(=>
(
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
如果 那 有
整数
communiation
有点 卫星
类型的卫星在
地缘政治区域
,
然后
那个 整数
equal
符号串
所描述的类别
instance
的数量
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
and
(
not
(
engineeringSubcomponent
?COMP1 ?COMP2))
(
not
(
engineeringSubcomponent
?COMP2 ?COMP1))))
Merge.kif 16108-16114
如果
工程组件
是 和
另一个 工程组件
connected
,
然后
那个 工程组件
不 是
那个 另外 工程组件
的
component
和
那个 另外 工程组件
不 是
那个 工程组件
的
component
(=>
(
instance
?PART
InternetServiceProvider
)
(
engineeringSubcomponent
?PART
Internet
))
Communications.kif 447-449
如果
工程组件
是
互联网服务提供商
的
instance
,
然后
那个 工程组件
是
互联网
的
component
(=>
(
instance
?SAT
CommunicationSatellite
)
(
exists
(?SYSTEM)
(
and
(
instance
?SYSTEM
CommunicationSystem
)
(
engineeringSubcomponent
?SAT ?SYSTEM))))
Communications.kif 125-130
如果
工程组件
是
通信卫星
的
instance
,
然后 有存在
另一个 工程组件
这样
那个 另外 工程组件
是
通讯系统
的
instance
和
那个 工程组件
是
那个 另外 工程组件
的
component
(=>
(
instance
?SYSTEM
CableTelevisionSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
TelevisionReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 337-342
如果
工程组件
是
有线电视系统
的
instance
,
然后 有存在
另一个 工程组件
这样
那个 另外 工程组件
是
电视接收器
的
instance
和
那个 另外 工程组件
是
那个 工程组件
的
component
(=>
(
instance
?SYSTEM
RadioSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
RadioReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 310-315
如果
工程组件
是
无线电系统
的
instance
,
然后 有存在
另一个 工程组件
这样
那个 另外 工程组件
是
无线电接收器
的
instance
和
那个 另外 工程组件
是
那个 工程组件
的
component
(=>
(
instance
?SYSTEM
TelephoneSystem
)
(
exists
(?LINE)
(
and
(
instance
?LINE
MainTelephoneLine
)
(
engineeringSubcomponent
?LINE ?SYSTEM))))
Communications.kif 52-57
如果
工程组件
是
电话系统
的
instance
,
然后 有存在
另一个 工程组件
这样
那个 另外 工程组件
是
主要电话线
的
instance
和
那个 另外 工程组件
是
那个 工程组件
的
component
(=>
(
instance
?SYSTEM
TelephoneSystem
)
(
exists
(?PHONE)
(
and
(
instance
?PHONE
Telephone
)
(
engineeringSubcomponent
?PHONE ?SYSTEM))))
Communications.kif 40-45
如果
工程组件
是
电话系统
的
instance
,
然后 有存在
另一个 工程组件
这样
那个 另外 工程组件
是
电话
的
instance
和
那个 另外 工程组件
是
那个 工程组件
的
component
(=>
(
instance
?SYSTEM
TelevisionSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
TelevisionReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 387-392
如果
工程组件
是
电视系统
的
instance
,
然后 有存在
另一个 工程组件
这样
那个 另外 工程组件
是
电视接收器
的
instance
和
那个 另外 工程组件
是
那个 工程组件
的
component
(=>
(
instance
?SYSTEM
TelevisionSystem
)
(
exists
(?STATION)
(
and
(
instance
?STATION
TelevisionStation
)
(
engineeringSubcomponent
?STATION ?SYSTEM))))
Communications.kif 326-331
如果
工程组件
是
电视系统
的
instance
,
然后 有存在
另一个 工程组件
这样
那个 另外 工程组件
是
电视台
的
instance
和
那个 另外 工程组件
是
那个 工程组件
的
component
(=>
(
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
如果
工程组件
是
BabyMonitoringSystem
的
instance
,
然后 有存在
另一个 工程组件
和
第三 工程组件
这样
那个 第三 工程组件
是
无线电接收器
的
instance
和
那个 另外 工程组件
是
设备
的
instance
和
那个 第三 工程组件
是
那个 工程组件
的
component
和
那个 另外 工程组件
是
那个 工程组件
的
component
和
那个 工程组件
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
,, ,
第六 实体
, and 和
第七 实体
这样
那个 实体
是
人类宝贝
的
instance
和
那个 另外 实体
是
人类
的
instance
和
那个 实体
是
located
在
那个 第四 实体
和
那个 另外 实体
是
located
在
那个 第五 实体
和
那个 第四 实体
不
equal
那个 第五 实体
和
那个 第六 实体
是
维护
的
instance
和
那个 实体
是
那个 第六 实体
的
patient
和
那个 另外 实体
是
那个 第六 实体
的
agent
和
那个 另外 工程组件
是
located
在
那个 第四 实体
和
那个 第三 工程组件
是
located
在
那个 第五 实体
和
那个 第三 实体
是
放射声音
的
instance
和
那个 第三 实体
是
located
在
那个 第四 实体
和
那个 第七 实体
是
无线电发射
的
instance
和
那个 第三 实体
是
那个 第七 实体
的
patient
和
那个 第七 实体
在
那个 第三 工程组件
结束 和
那个 另外 工程组件
是
那个 第七 实体
的
agent
appearance as argument number 0
(
engineeringSubcomponent
AMRadioStation
RadioSystem
)
Communications.kif 294-294
AM广播电台
是
无线电系统
的
component
(
engineeringSubcomponent
BroadcastingStation
CommunicationSystem
)
Communications.kif 220-220
电台
是
通讯系统
的
component
(
engineeringSubcomponent
FMRadioStation
RadioSystem
)
Communications.kif 299-299
调频广播电台
是
无线电系统
的
component
(
engineeringSubcomponent
InternetServiceProvider
Internet
)
Communications.kif 443-443
互联网服务提供商
是
互联网
的
component
(
engineeringSubcomponent
RadioStation
RadioSystem
)
Communications.kif 289-289
广播电台
是
无线电系统
的
component
(
engineeringSubcomponent
ShortwaveRadioStation
RadioSystem
)
Communications.kif 304-304
短波电台
是
无线电系统
的
component
(
engineeringSubcomponent
TelevisionStation
TelevisionSystem
)
Communications.kif 323-323
电视台
是
电视系统
的
component
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