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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TelevisionReceiver
TelevisionReceiver(television receiver)

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 Television receiver is a subclass of engineering component
(subclass TelevisionReceiver ReceiverDevice) Communications.kif 380-380 Television receiver is a subclass of receiver device

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


(subclass AppleTV TelevisionReceiver) ComputingBrands.kif 2097-2097 Apple TV is a subclass of television receiver
(termFormat ChineseLanguage TelevisionReceiver "电视接收器") domainEnglishFormat.kif 57350-57350
(termFormat ChineseTraditionalLanguage TelevisionReceiver "電視接收器") domainEnglishFormat.kif 57349-57349
(termFormat EnglishLanguage TelevisionReceiver "TV") Communications.kif 383-383
(termFormat EnglishLanguage TelevisionReceiver "television receiver") domainEnglishFormat.kif 57348-57348
(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