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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CableTelevisionSystem
CableTelevisionSystem

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


(documentation CableTelevisionSystem EnglishLanguage "A CableTelevisionSystem is a CommunicationSystem for cable television.") Communications.kif 334-335
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 333-333

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


(termFormat ChineseLanguage CableTelevisionSystem "有线电视系统") domainEnglishFormat.kif 12607-12607
(termFormat ChineseTraditionalLanguage CableTelevisionSystem "有線電視系統") domainEnglishFormat.kif 12606-12606
(termFormat EnglishLanguage CableTelevisionSystem "cable television system") domainEnglishFormat.kif 12605-12605

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


(=>
    (instance ?SYSTEM CableTelevisionSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TelevisionReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))
Communications.kif 337-342


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