TreeView Knowledge Base Browser

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 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

KB Term:			Term intersection

English Word: