ElectronicSignalling - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ElectronicSignalling EnglishLanguage "ElectronicSignalling is the subclass of ElectricalSignalling that involve a signal generated through electronic means.")	Mid-level-ontology.kif 2714-2716
(subclass ElectronicSignalling ElectricalSignalling)	Mid-level-ontology.kif 2713-2713	Electronic signalling is a subclass of electrical signalling

appearance as argument number 2

(termFormat ChineseLanguage ElectronicSignalling "电子信号")	domainEnglishFormat.kif 21771-21771
(termFormat ChineseTraditionalLanguage ElectronicSignalling "電子信號")	domainEnglishFormat.kif 21770-21770
(termFormat EnglishLanguage ElectronicSignalling "electronic signalling")	domainEnglishFormat.kif 21769-21769

antecedent

(=>
    (instance ?S ElectronicSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))

Mid-level-ontology.kif 2718-2723

If a process is an instance of electronic signalling,
then there exists an object such that the object is an instance of electric device and the object is an instrument for the process

consequent

(=> (instance ?LOCK ElectronicLock) (hasPurpose ?LOCK (exists (?ES ?PROC) (and (instance ?ES ElectronicSignalling) (destination ?ES ?LOCK) (instance ?PROC Opening) (instrument ?PROC ?LOCK) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC)))))))	Mid-level-ontology.kif 26882-26893	If a physical is an instance of electronic lock, 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 entity ends up at the physical and the other entity is an instance of opening and the physical is an instrument for the other entity and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity
(=> (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 1434-1444	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
(=> (instance ?X RemoteIgnitionControl) (hasPurpose ?X (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC) (and (instance ?VEHICLE PoweredVehicle) (instance ?SIGNAL ElectronicSignalling) (instrument ?SIGNAL ?X) (destination ?SIGNAL ?VEHICLE) (instance ?ENGINE Engine) (component ?ENGINE ?VEHICLE) (instance ?PROC (OperatingFn Engine)) (experiencer ?PROC ?ENGINE) (causes ?SIGNAL ?PROC)))))	Cars.kif 3816-3830	If a physical is an instance of remote ignition control, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of powered vehicle and the third entity is an instance of electronic signalling and the physical is an instrument for the third entity and the third entity ends up at the entity and the other entity is an instance of engine and the other entity is a component of the entity and the fourth entity is an instance of the operating of engine and the other entity experiences the fourth entity and the third entity causes the fourth entity
(=> (instance ?X TVRemoteControl) (hasPurpose ?X (exists (?SIGNAL ?DEVICE) (and (instance ?SIGNAL ElectronicSignalling) (agent ?SIGNAL ?X) (destination ?SIGNAL ?DEVICE) (instance ?DEVICE TelevisionReceiver)))))	Communications.kif 418-426	If a physical is an instance of tv remote, 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 television receiver

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: