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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 subclass TelevisionSet and ElectricDevice

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 1828-1838


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