Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 15805-15808
(
domain
engineeringSubcomponent
1
EngineeringComponent
)
Merge.kif 15803-15803
(
domain
engineeringSubcomponent
2
EngineeringComponent
)
Merge.kif 15804-15804
(
instance
engineeringSubcomponent
BinaryPredicate
)
Merge.kif 15802-15802
(
subrelation
engineeringSubcomponent
properPart
)
Merge.kif 15801-15801
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
(
termFormat
ChineseLanguage
engineeringSubcomponent
"工程子组件")
chinese_format.kif 540-540
(
termFormat
ChineseTraditionalLanguage
engineeringSubcomponent
"工程子組件")
domainEnglishFormat.kif 22106-22106
(
termFormat
EnglishLanguage
engineeringSubcomponent
"engineering subcomponent")
domainEnglishFormat.kif 22105-22105
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 1325-1336
consequent
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1343-1349
(=>
(
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
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
and
(
not
(
engineeringSubcomponent
?COMP1 ?COMP2))
(
not
(
engineeringSubcomponent
?COMP2 ?COMP1))))
Merge.kif 15826-15832
(=>
(
instance
?PART
InternetServiceProvider
)
(
engineeringSubcomponent
?PART
Internet
))
Communications.kif 447-449
(=>
(
instance
?SAT
CommunicationSatellite
)
(
exists
(?SYSTEM)
(
and
(
instance
?SYSTEM
CommunicationSystem
)
(
engineeringSubcomponent
?SAT ?SYSTEM))))
Communications.kif 125-130
(=>
(
instance
?SYSTEM
CableTelevisionSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
TelevisionReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 337-342
(=>
(
instance
?SYSTEM
RadioSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
RadioReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 310-315
(=>
(
instance
?SYSTEM
TelephoneSystem
)
(
exists
(?LINE)
(
and
(
instance
?LINE
MainTelephoneLine
)
(
engineeringSubcomponent
?LINE ?SYSTEM))))
Communications.kif 52-57
(=>
(
instance
?SYSTEM
TelephoneSystem
)
(
exists
(?PHONE)
(
and
(
instance
?PHONE
Telephone
)
(
engineeringSubcomponent
?PHONE ?SYSTEM))))
Communications.kif 40-45
(=>
(
instance
?SYSTEM
TelevisionSystem
)
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
TelevisionReceiver
)
(
engineeringSubcomponent
?DEVICE ?SYSTEM))))
Communications.kif 387-392
(=>
(
instance
?SYSTEM
TelevisionSystem
)
(
exists
(?STATION)
(
and
(
instance
?STATION
TelevisionStation
)
(
engineeringSubcomponent
?STATION ?SYSTEM))))
Communications.kif 326-331
(=>
(
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
appearance as argument number 0
(
engineeringSubcomponent
AMRadioStation
RadioSystem
)
Communications.kif 294-294
(
engineeringSubcomponent
BroadcastingStation
CommunicationSystem
)
Communications.kif 220-220
(
engineeringSubcomponent
FMRadioStation
RadioSystem
)
Communications.kif 299-299
(
engineeringSubcomponent
InternetServiceProvider
Internet
)
Communications.kif 443-443
(
engineeringSubcomponent
RadioStation
RadioSystem
)
Communications.kif 289-289
(
engineeringSubcomponent
ShortwaveRadioStation
RadioSystem
)
Communications.kif 304-304
(
engineeringSubcomponent
TelevisionStation
TelevisionSystem
)
Communications.kif 323-323
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