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


KB Term:  Term intersection
English Word: 

Sigma KEE - CableTelevisionSystem
CableTelevisionSystem(cable television system)cable, cable_system, cable_television, cable_television_service

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


(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 386-386 Cable television system is a subclass of communication system
(documentation CableTelevisionSystem EnglishLanguage "A CableTelevisionSystem is a CommunicationSystem for cable television.") Communications.kif 387-388 Cable television system is a subclass of communication system
(defaultMinimumHeight CableTelevisionSystem
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 198-198 The minimum expected height of cable television system is 10 inch(s)
(defaultMaximumHeight CableTelevisionSystem
    (MeasureFn 30 Inch))		 DimensioningAmenities.kif 199-199 The maximum expected height of cable television system is 30 inch(s)
(defaultMinimumWidth CableTelevisionSystem
    (MeasureFn 13 Inch))		 DimensioningAmenities.kif 200-200 The minimum expected width of cable television system is 13 inch(s)
(defaultMaximumWidth CableTelevisionSystem
    (MeasureFn 47 Inch))		 DimensioningAmenities.kif 201-201 The maximum expected width of cable television system is 47 inch(s)
(defaultMinimumLength CableTelevisionSystem
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 202-202 The minimum expected length of cable television system is 2 inch(s)
(defaultMaximumLength CableTelevisionSystem
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 203-203 The maximum expected length of cable television system is 18 inch(s)
(defaultMinimumMeasure CableTelevisionSystem
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 204-204 The minimum expected value of cable television system is 10 pound mass(s)
(defaultMaximumMeasure CableTelevisionSystem
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 205-205 The maximum expected value of cable television system is 100 pound mass(s)

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


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

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


(=>
    (instance ?SYSTEM CableTelevisionSystem)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TelevisionReceiver)
            (engineeringSubcomponent ?DEVICE ?SYSTEM))))		 Communications.kif 390-395 If X is an instance of cable television system, then there exists Y such that Y is an instance of TV and Y is a component of X


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