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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TelevisionSet

Sigma KEE - TelevisionSet
TelevisionSet

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


(documentation TelevisionSet EnglishLanguage "TelevisionSet is an ElectricDevice comprised of a TelevisionReceiver and some form of VideoDisplay and is part of a TelevisionSystem") Communications.kif 399-401
(subclass TelevisionSet ElectricDevice) Communications.kif 398-398

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


(termFormat EnglishLanguage TelevisionSet "television set") Communications.kif 402-402

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


(=>
    (instance ?TV TelevisionSet)
    (exists (?RECEIVER ?DISPLAY)
        (and
            (instance ?RECEIVER TelevisionReceiver)
            (instance ?DISPLAY VideoDisplay)
            (part ?RECEIVER ?TV)
            (part ?DISPLAY ?TV))))
Communications.kif 404-411

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


(=>
    (instance ?NC
        (NetworkCommunicationFn AirPlay))
    (or
        (exists (?TV)
            (and
                (instance ?TV TelevisionSet)
                (destination ?NC ?TV)))
        (exists (?SP)
            (and
                (instance ?SP SpeakerDevice)
                (destination ?NC ?SP)))))
ComputingBrands.kif 1860-1870


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

Show without tree


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