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


KB Term:  Term intersection
English Word: 

  PutOption

 Sigma KEE - TVRemoteControl
TVRemoteControl(tv remote)

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


(subclass TVRemoteControl RemoteControl) Communications.kif 466-466 Tv remote is a subclass of remote control
(documentation TVRemoteControl EnglishLanguage "TVRemoteControl is a type of RemoteControl that signals to a TelevisionReceiver") Communications.kif 467-468 Tv remote is a subclass of remote control
(defaultMinimumHeight TVRemoteControl
    (MeasureFn 2 Centimeter))		 DimensioningAmenities.kif 279-279 The minimum expected height of tv remote is 2 centimeter(s)
(defaultMaximumHeight TVRemoteControl
    (MeasureFn 4 Centimeter))		 DimensioningAmenities.kif 280-280 The maximum expected height of tv remote is 4 centimeter(s)
(defaultMinimumWidth TVRemoteControl
    (MeasureFn 5 Centimeter))		 DimensioningAmenities.kif 281-281 The minimum expected width of tv remote is 5 centimeter(s)
(defaultMaximumWidth TVRemoteControl
    (MeasureFn 20 Centimeter))		 DimensioningAmenities.kif 282-282 The maximum expected width of tv remote is 20 centimeter(s)
(defaultMinimumLength TVRemoteControl
    (MeasureFn 10 Centimeter))		 DimensioningAmenities.kif 283-283 The minimum expected length of tv remote is 10 centimeter(s)
(defaultMaximumLength TVRemoteControl
    (MeasureFn 25 Centimeter))		 DimensioningAmenities.kif 284-284 The maximum expected length of tv remote is 25 centimeter(s)
(defaultMinimumMeasure TVRemoteControl
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 285-285 The minimum expected value of tv remote is 1 pound mass(s)
(defaultMaximumMeasure TVRemoteControl
    (MeasureFn 5 PoundMass))		 DimensioningAmenities.kif 286-286 The maximum expected value of tv remote is 5 pound mass(s)

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


(termFormat EnglishLanguage TVRemoteControl "tv remote") Communications.kif 469-469

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


(=>
    (instance ?X TVRemoteControl)
    (hasPurpose ?X
        (exists (?SIGNAL ?DEVICE)
            (and
                (instance ?SIGNAL ElectronicSignalling)
                (agent ?SIGNAL ?X)
                (destination ?SIGNAL ?DEVICE)
                (instance ?DEVICE TelevisionReceiver)))))		 Communications.kif 471-479 If X is an instance of tv remote, then X has the purpose there exist Y, Z such that Y is an instance of electronic signalling, X is an agent of Y, Y ends up at Z, and Z is an instance of TV


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