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


KB Term:  Term intersection
English Word: 

Sigma KEE - RemoteControl
RemoteControl(remote control)remote, remote_control

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


(subclass RemoteControl Controller) engineering.kif 1540-1540 Remote control is a subclass of controller
(documentation RemoteControl EnglishLanguage "RemoteControl is Controller that does some ElectronicSignalling to communicate and control another Device") engineering.kif 1541-1542 Remote control is a subclass of controller

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


(subclass RemoteIgnitionControl RemoteControl) Cars.kif 3620-3620 Remote ignition control is a subclass of remote control
(subclass TVRemoteControl RemoteControl) Communications.kif 466-466 Tv remote is a subclass of remote control
(termFormat EnglishLanguage RemoteControl "remote control") engineering.kif 1543-1543 Tv remote is a subclass of remote control

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


(=>
    (instance ?X RemoteControl)
    (hasPurpose ?X
        (exists (?SIGNAL ?DEVICE)
            (and
                (instance ?SIGNAL ElectronicSignalling)
                (agent ?SIGNAL ?X)
                (destination ?SIGNAL ?DEVICE)
                (instance ?DEVICE Device)
                (not
                    (part ?X ?DEVICE))))))		 engineering.kif 1545-1555 If X is an instance of remote control, 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, Z is an instance of device, and X is not a part of Z

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


(=>
    (instance ?X RemoteKeylessSystem)
    (exists (?KEY ?LOCK ?CLOSE ?OPEN)
        (and
            (instance ?KEY Key)
            (instance ?KEY RemoteControl)
            (member ?KEY ?X)
            (instance ?LOCK Lock)
            (member ?LOCK ?X)
            (capability
                (KappaFn ?CLOSE
                    (and
                        (instance ?CLOSE Closing)
                        (patient ?CLOSE ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn
                                (WhenFn ?CLOSE))
                            (attribute ?LOCK Locked)))) instrument ?KEY)
            (capability
                (KappaFn ?OPEN
                    (and
                        (instance ?OPEN Closing)
                        (patient ?OPEN ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn
                                (WhenFn ?OPEN))
                            (not
                                (attribute ?LOCK Locked))))) instrument ?KEY))))		 Cars.kif 3642-3669 If X is an instance of remote keyless system, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of key (3) Y is an instance of remote control (4) Y is a member of X (5) Z is an instance of lock (6) Z is a member of X (7) Y is capable of doing the class described by W as a instrument (8) Y is capable of doing the class described by V as a instrument


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