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

KB Term:  Term intersection
English Word: 

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 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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners