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

Formal Language: 



KB Term:  Term intersection
English Word: 

  engineeringSubcomponent

Sigma KEE - engineeringSubcomponent
engineeringSubcomponent

appearance as argument number 1
-------------------------


(documentation engineeringSubcomponent ChineseLanguage "(engineeringSubcomponent ?SUB ?SUPER)的意思是 EngineeringComponent ?SUB 是 ?SUPER 结构上的 properPart。这关系属于 AsymmetricRelation 因为两个 EngineeringComponent 不可能成为互相的子零件。") Merge.kif 16268-16270
(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 16264-16267
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 16262-16262
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16263-16263
(instance engineeringSubcomponent BinaryPredicate) Merge.kif 16261-16261
(subrelation engineeringSubcomponent properPart) Merge.kif 16260-16260

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 328-328
(termFormat ChineseLanguage engineeringSubcomponent "工程子组件") chinese_format.kif 540-540
(termFormat EnglishLanguage engineeringSubcomponent "engineering subcomponent") domainEnglishFormat.kif 4107-4107

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 1294-1305

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


(=>
    (and
        (instance ?AP InternetAccessPoint)
        (instance ?DEVICE Device))
    (holdsDuring
        (WhenFn
            (connectedEngineeringComponents ?DEVICE ?AP))
        (engineeringSubcomponent ?DEVICE Internet)))
Hotel.kif 1312-1318
(=>
    (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 16293-16299
(=>
    (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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners