Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  BroadcastingStation

 Sigma KEE - BroadcastingStation
BroadcastingStation(broadcasting station)broadcast_station, broadcasting_station

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


(subclass BroadcastingStation StationaryArtifact) Communications.kif 199-199 Broadcasting station is a subclass of stationary artifact
(subclass BroadcastingStation CommunicationDevice) Communications.kif 200-200 Broadcasting station is a subclass of communication device
(documentation BroadcastingStation EnglishLanguage "A BroadcastingStation is an engineeringSubcomponent of either a TelevisionSystem or a RadioStation.") Communications.kif 207-209 Broadcasting station is a subclass of communication device
(subclass BroadcastingStation EngineeringComponent) Communications.kif 274-274 Broadcasting station is a subclass of engineering component

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


(subclass RadioStation BroadcastingStation) Communications.kif 273-273 Radio station is a subclass of broadcasting station
(subclass TelevisionStation BroadcastingStation) Communications.kif 370-370 Television station is a subclass of broadcasting station
(termFormat EnglishLanguage BroadcastingStation "broadcasting station") domainEnglishFormat.kif 12029-12029 Television station is a subclass of broadcasting station
(termFormat ChineseTraditionalLanguage BroadcastingStation "電台") domainEnglishFormat.kif 12030-12030 Television station is a subclass of broadcasting station
(termFormat ChineseLanguage BroadcastingStation "电台") domainEnglishFormat.kif 12031-12031 Television station is a subclass of broadcasting station

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


(=>
    (instance ?STATION BroadcastingStation)
    (exists (?SYS)
        (and
            (instance ?SYS CommunicationSystem)
            (engineeringSubcomponent ?STATION ?SYS))))		 Communications.kif 201-206 If X is an instance of broadcasting station, then there exists Y such that Y is an instance of communication system and X is a component of Y
(=>
    (instance ?STATION BroadcastingStation)
    (or
        (instance ?STATION TelevisionStation)
        (instance ?STATION RadioStation)))		 Communications.kif 211-215 If X is an instance of broadcasting station, then X is an instance of television station or X is an instance of radio station

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


(=>
    (instance ?N BroadcastNetwork)
    (forall (?M)
        (=>
            (member ?M ?N)
            (instance ?M BroadcastingStation))))		 Communications.kif 415-420 If X is an instance of broadcast network, then For all Physical Y: if Y is a member of X, then Y is an instance of broadcasting station


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners