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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TelevisionReceiver
TelevisionReceiver

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


(documentation TelevisionReceiver EnglishLanguage "A TelevisionReceiver is a Device for receiving television broadcast signals from a TelevisionStation or signals transmitted through a cable from a CableTelevisionSystem.") Communications.kif 384-386
(subclass TelevisionReceiver EngineeringComponent) Communications.kif 381-381
(subclass TelevisionReceiver ReceiverDevice) Communications.kif 380-380

appearance as argument number 2
-------------------------


(subclass AppleTV TelevisionReceiver) ComputingBrands.kif 2064-2064
(termFormat ChineseLanguage TelevisionReceiver "电视接收器") domainEnglishFormat.kif 57317-57317
(termFormat ChineseTraditionalLanguage TelevisionReceiver "電視接收器") domainEnglishFormat.kif 57316-57316
(termFormat EnglishLanguage TelevisionReceiver "TV") Communications.kif 383-383
(termFormat EnglishLanguage TelevisionReceiver "television receiver") domainEnglishFormat.kif 57315-57315
(termFormat EnglishLanguage TelevisionReceiver "television") Communications.kif 382-382

antecedent
-------------------------


(=>
    (instance ?T TelevisionReceiver)
    (capability TelevisionBroadcasting patient ?T))
Communications.kif 394-396

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


(=>
    (instance ?SYSTEM CableTelevisionSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TelevisionReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))
Communications.kif 337-342
(=>
    (instance ?SYSTEM TelevisionSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TelevisionReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))
Communications.kif 387-392
(=>
    (instance ?TV SatelliteTelevisionSystem)
    (exists (?SAT ?RECEIVE)
        (and
            (instance ?SAT ArtificialSatellite)
            (member ?SAT ?TV)
            (instance ?RECEIVE TelevisionReceiver)
            (member ?RECEIVE ?TV))))
Communications.kif 349-356
(=>
    (instance ?TV TelevisionSet)
    (exists (?RECEIVER ?DISPLAY)
        (and
            (instance ?RECEIVER TelevisionReceiver)
            (instance ?DISPLAY VideoDisplay)
            (part ?RECEIVER ?TV)
            (part ?DISPLAY ?TV))))
Communications.kif 404-411
(=>
    (instance ?X TVRemoteControl)
    (hasPurpose ?X
        (exists (?SIGNAL ?DEVICE)
            (and
                (instance ?SIGNAL ElectronicSignalling)
                (agent ?SIGNAL ?X)
                (destination ?SIGNAL ?DEVICE)
                (instance ?DEVICE TelevisionReceiver)))))
Communications.kif 418-426


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