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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - SatelliteTelevisionSystem
SatelliteTelevisionSystem(satellite tv)

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


(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 397-397 Satellite tv is a subclass of communication system
(documentation SatelliteTelevisionSystem EnglishLanguage "SatelliteTelevisionSystem is a CommunicationSystem where ArtificialSatellite is used to transfer TV signals") Communications.kif 398-399 Satellite tv is a subclass of communication system
(defaultMinimumHeight SatelliteTelevisionSystem
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 207-207 The minimum expected height of satellite tv is 10 inch(s)
(defaultMaximumHeight SatelliteTelevisionSystem
    (MeasureFn 30 Inch))		 DimensioningAmenities.kif 208-208 The maximum expected height of satellite tv is 30 inch(s)
(defaultMinimumWidth SatelliteTelevisionSystem
    (MeasureFn 13 Inch))		 DimensioningAmenities.kif 209-209 The minimum expected width of satellite tv is 13 inch(s)
(defaultMaximumWidth SatelliteTelevisionSystem
    (MeasureFn 47 Inch))		 DimensioningAmenities.kif 210-210 The maximum expected width of satellite tv is 47 inch(s)
(defaultMinimumLength SatelliteTelevisionSystem
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 211-211 The minimum expected length of satellite tv is 2 inch(s)
(defaultMaximumLength SatelliteTelevisionSystem
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 212-212 The maximum expected length of satellite tv is 18 inch(s)
(defaultMinimumMeasure SatelliteTelevisionSystem
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 213-213 The minimum expected value of satellite tv is 10 pound mass(s)
(defaultMaximumMeasure SatelliteTelevisionSystem
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 214-214 The maximum expected value of satellite tv is 100 pound mass(s)

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


(termFormat EnglishLanguage SatelliteTelevisionSystem "satellite tv") Communications.kif 400-400

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


(=>
    (instance ?TV SatelliteTelevisionSystem)
    (exists (?SAT ?RECEIVE)
        (and
            (instance ?SAT ArtificialSatellite)
            (member ?SAT ?TV)
            (instance ?RECEIVE TelevisionReceiver)
            (member ?RECEIVE ?TV))))		 Communications.kif 402-409 If X is an instance of satellite tv, then there exist Y, Z such that Y is an instance of satellite, Y is a member of X, Z is an instance of TV, and Z is a member of X


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