TreeView Knowledge Base Browser - ElectronicSignalling

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ElectronicSignalling

Sigma KEE - ElectronicSignalling

ElectronicSignalling(electronic signalling)

air, airwave, channel, communication_channel, line, transmission_channel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2641-2643
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2640-2640	Electronic signalling is a subclass of electrical signalling

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21756-21756
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21755-21755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21754-21754

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2645-2650

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25820-25831	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
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1121-1131	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3740-3754	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
No TPTP formula. May not be expressible in strict first order.	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 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 is open source software produced by Articulate Software and its partners