Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 EngineeringComponents cannot be subcomponents of each other.") Merge.kif 16214-16217
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 16212-16212 域 工程子組件, 1 and EngineeringComponent
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16213-16213 域 工程子組件, 2 and EngineeringComponent
(instance engineeringSubcomponent BinaryPredicate) Merge.kif 16211-16211 例 工程子組件 and BinaryPredicate
(subrelation engineeringSubcomponent properPart) Merge.kif 16210-16210 子關係 工程子組件 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 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 22123-22123
(termFormat EnglishLanguage engineeringSubcomponent "engineering subcomponent") domainEnglishFormat.kif 22122-22122
(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 1347-1358

consequent
-------------------------


(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))		 Hotel.kif 1365-1371
(=>
    (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 16235-16241
(=>
    (instance ?PART InternetServiceProvider)
    (engineeringSubcomponent ?PART Internet))		 Communications.kif 492-494
(=>
    (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 382-387
(=>
    (instance ?SYSTEM RadioSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE RadioReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))		 Communications.kif 355-360
(=>
    (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 432-437
(=>
    (instance ?SYSTEM TelevisionSystem)
    (exists (?STATION)
        (and
            (instance ?STATION TelevisionStation)
            (engineeringSubcomponent ?STATION ?SYSTEM))))		 Communications.kif 371-376
(=>
    (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 工程子組件 AM廣播電台 and 無線電系統
(engineeringSubcomponent BroadcastingStation CommunicationSystem) Communications.kif 220-220 工程子組件 電台 and 通訊系統
(engineeringSubcomponent FMRadioStation RadioSystem) Communications.kif 299-299 工程子組件 調頻廣播電台 and 無線電系統
(engineeringSubcomponent InternetServiceProvider Internet) Communications.kif 488-488 工程子組件 互聯網服務提供商 and 互聯網
(engineeringSubcomponent RadioStation RadioSystem) Communications.kif 289-289 工程子組件 廣播電台 and 無線電系統
(engineeringSubcomponent ShortwaveRadioStation RadioSystem) Communications.kif 304-304 工程子組件 短波電台 and 無線電系統
(engineeringSubcomponent TelevisionStation TelevisionSystem) Communications.kif 368-368 工程子組件 電視台 and 電視系統


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