engineeringSubcomponent - Sigma Knowledge base Browser

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 EngineeringComponents cannot be subcomponents of each other.")	Merge.kif 16263-16266
(domain engineeringSubcomponent 1 EngineeringComponent)	Merge.kif 16261-16261	engineeringSubcomponent の数値 1 引数はエンジニアリング部品の instance では
(domain engineeringSubcomponent 2 EngineeringComponent)	Merge.kif 16262-16262	engineeringSubcomponent の数値 2 引数はエンジニアリング部品の instance では
(instance engineeringSubcomponent BinaryPredicate)	Merge.kif 16260-16260	engineeringSubcomponent は 2進述語の instance では
(subrelation engineeringSubcomponent properPart)	Merge.kif 16259-16259	engineeringSubcomponent は properPart の 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 componente 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 componente 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 22117-22117
(termFormat EnglishLanguage engineeringSubcomponent "engineering subcomponent")	domainEnglishFormat.kif 22116-22116
(termFormat de engineeringSubcomponent "technikSubkomponente")	terms-de.txt 214-214

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 1358-1369

エンジニアリング部品は Internet の component ではエンジニアリング部品は Internet の component では equal エンジニアリング部品 and エンジニアリング部品
Internet はエンティティーエンティティーはコミュニケーションの instance ではエンジニアリング部品はエンティティーの agent ではエンティティーはエンジニアリング部品に ends Internet はエンティティーの instrument ではの目的

consequent

(=> (and (instance ?AP InternetAccessPoint) (instance ?DEVICE Device)) (holdsDuring (WhenFn (connectedEngineeringComponents ?DEVICE ?AP)) (engineeringSubcomponent ?DEVICE Internet)))	Hotel.kif 1376-1382	エンティティーは InternetAccessPoint の instance ではエンティティーはデバイスの instance ではエンティティーは Internet の component でははエンティティーはエンティティーに connected しての time の existence の during holds
(=> (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 地政学的地域, Satellite and 整数 equal 整数 and エンティティー class の instances の数
(=> (connectedEngineeringComponents ?COMP1 ?COMP2) (and (not (engineeringSubcomponent ?COMP1 ?COMP2)) (not (engineeringSubcomponent ?COMP2 ?COMP1))))	Merge.kif 16284-16290	エンジニアリング部品はエンジニアリング部品に connected してエンジニアリング部品はエンジニアリング部品の component ではエンジニアリング部品はエンジニアリング部品の component では
(=> (instance ?PART InternetServiceProvider) (engineeringSubcomponent ?PART Internet))	Communications.kif 492-494	エンジニアリング部品は InternetServiceProvider の instance ではエンジニアリング部品は Internet の component では
(=> (instance ?SAT CommunicationSatellite) (exists (?SYSTEM) (and (instance ?SYSTEM CommunicationSystem) (engineeringSubcomponent ?SAT ?SYSTEM))))	Communications.kif 125-130	エンジニアリング部品は CommunicationSatellite の instance ではエンジニアリング部品エンジニアリング部品は CommunicationSystem の instance ではエンジニアリング部品はエンジニアリング部品の component では
(=> (instance ?SYSTEM CableTelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 382-387	エンジニアリング部品は CableTelevisionSystem の instance ではエンジニアリング部品エンジニアリング部品は TelevisionReceiver の instance ではエンジニアリング部品はエンジニアリング部品の component では
(=> (instance ?SYSTEM RadioSystem) (exists (?DEVICE) (and (instance ?DEVICE RadioReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 355-360	エンジニアリング部品は RadioSystem の instance ではエンジニアリング部品エンジニアリング部品は RadioReceiver の instance ではエンジニアリング部品はエンジニアリング部品の component では
(=> (instance ?SYSTEM TelephoneSystem) (exists (?LINE) (and (instance ?LINE MainTelephoneLine) (engineeringSubcomponent ?LINE ?SYSTEM))))	Communications.kif 52-57	エンジニアリング部品は TelephoneSystem の instance ではエンジニアリング部品エンジニアリング部品は MainTelephoneLine の instance ではエンジニアリング部品はエンジニアリング部品の component では
(=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM))))	Communications.kif 40-45	エンジニアリング部品は TelephoneSystem の instance ではエンジニアリング部品エンジニアリング部品は Telephone の instance ではエンジニアリング部品はエンジニアリング部品の component では
(=> (instance ?SYSTEM TelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 432-437	エンジニアリング部品は TelevisionSystem の instance ではエンジニアリング部品エンジニアリング部品は TelevisionReceiver の instance ではエンジニアリング部品はエンジニアリング部品の component では
(=> (instance ?SYSTEM TelevisionSystem) (exists (?STATION) (and (instance ?STATION TelevisionStation) (engineeringSubcomponent ?STATION ?SYSTEM))))	Communications.kif 371-376	エンジニアリング部品は TelevisionSystem の instance ではエンジニアリング部品エンジニアリング部品は TelevisionStation の 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 ではエンジニアリング部品エンジニアリング部品エンジニアリング部品は RadioReceiver の instance ではエンジニアリング部品はデバイスの instance ではエンジニアリング部品はエンジニアリング部品の component ではエンジニアリング部品はエンジニアリング部品の component ではエンジニアリング部品はエンティティーエンティティー, エンティティー, エンティティー, エンティティー, エンティティー and エンティティーエンティティーは HumanBaby の instance ではエンティティーは人［人間］の instance ではエンティティーはエンティティーに located してエンティティーはエンティティーに located して equal エンティティー and エンティティーエンティティーは維持の instance ではエンティティーはエンティティーの patient ではエンティティーはエンティティーの agent ではエンジニアリング部品はエンティティーに located してエンジニアリング部品はエンティティーに located してエンティティーは放射音の instance では eventLocated エンティティー and エンティティーエンティティーは RadioEmission の instance ではエンティティーはエンティティーの patient ではエンティティーはエンジニアリング部品に ends エンジニアリング部品はエンティティーの agent ではの目的

appearance as argument number 0

(engineeringSubcomponent AMRadioStation RadioSystem)	Communications.kif 294-294	AMRadioStation は RadioSystem の component では
(engineeringSubcomponent BroadcastingStation CommunicationSystem)	Communications.kif 220-220	BroadcastingStation は CommunicationSystem の component では
(engineeringSubcomponent FMRadioStation RadioSystem)	Communications.kif 299-299	FMRadioStation は RadioSystem の component では
(engineeringSubcomponent InternetServiceProvider Internet)	Communications.kif 488-488	InternetServiceProvider は Internet の component では
(engineeringSubcomponent RadioStation RadioSystem)	Communications.kif 289-289	RadioStation は RadioSystem の component では
(engineeringSubcomponent ShortwaveRadioStation RadioSystem)	Communications.kif 304-304	ShortwaveRadioStation は RadioSystem の component では
(engineeringSubcomponent TelevisionStation TelevisionSystem)	Communications.kif 368-368	TelevisionStation は TelevisionSystem の component では

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: