RemoteControl - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass RemoteIgnitionControl RemoteControl)	Cars.kif 3813-3813	Remote ignition control is a subclass of remote control
(subclass TVRemoteControl RemoteControl)	Communications.kif 413-413	Tv remote is a subclass of remote control
(termFormat EnglishLanguage RemoteControl "remote control")	engineering.kif 1433-1433	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 1435-1445

If a physical is an instance of remote control,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electronic signalling and the physical is an agent of the entity and the entity ends up at the other entity and the other entity is an instance of device and the physical is not a part of the other entity

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 ?CLOSE)
                            (attribute ?LOCK Locked)))) instrument ?KEY)
            (capability
                (KappaFn ?OPEN
                    (and
                        (instance ?OPEN Closing)
                        (patient ?OPEN ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn ?OPEN)
                            (not
                                (attribute ?LOCK Locked))))) instrument ?KEY))))

Cars.kif 3835-3860

If a collection is an instance of remote keyless system,
then there exist an object, a physical,, , a symbolic string and another symbolic string such that the object is an instance of key and the object is an instance of remote control and the object is a member of the collection and the physical is an instance of lock and the physical is a member of the collection and the object is capable of doing the class described by the symbolic string as a instrument and the object is capable of doing the class described by the other symbolic string 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: