TelevisionSystem - Sigma Knowledge base Browser

appearance as argument number 1

s__subclass(s__TelevisionSystem,s__CommunicationSystem)	Communications.kif 366-366	Television system is a subclass of communication system
s__documentation(s__TelevisionSystem, s__EnglishLanguage, "A system for Broadcasting and receiving television signals_")	Communications.kif 367-368	Television system is a subclass of communication system

appearance as argument number 2

s__termFormat(s__EnglishLanguage, s__TelevisionSystem, "television system")	domainEnglishFormat.kif 57359-57359
s__termFormat(s__ChineseTraditionalLanguage, s__TelevisionSystem, "電視系統")	domainEnglishFormat.kif 57360-57360
s__termFormat(s__ChineseLanguage, s__TelevisionSystem, "电视系统")	domainEnglishFormat.kif 57361-57361

antecedent

! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__TelevisionSystem) => (? [V__STATION] : ((s__instance(V__STATION,s__TelevisionStation) & s__engineeringSubcomponent(V__STATION,V__SYSTEM))))) )	Communications.kif 379-384	If X is an instance of television system, then there exists Y such that Y is an instance of television station and Y is a component of X
! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__TelevisionSystem) => (? [V__DEVICE] : ((s__instance(V__DEVICE,s__TelevisionReceiver) & s__engineeringSubcomponent(V__DEVICE,V__SYSTEM))))) )	Communications.kif 440-445	If X is an instance of television system, then there exists Y such that Y is an instance of TV and Y is a component of X

consequent

! [V__STATION] :
((s__instance(V__STATION,s__TelevisionStation) =>
     (? [V__SYS] :
       ((s__instance(V__SYS,s__TelevisionSystem) &
           s__engineeringSubcomponent(V__STATION,V__SYS)))))
)

If X is an instance of television station, then there exists Y such that Y is an instance of television system and X is a component of Y