TreeView Knowledge Base Browser - ElectricalSignalling

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ElectricalSignalling

Sigma KEE - ElectricalSignalling

ElectricalSignalling(electrical signalling)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2636-2638
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2635-2635	Electrical signalling is a subclass of signalling

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2647-2647	Electronic signalling is a subclass of electrical signalling
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21552-21552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21551-21551
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21550-21550

antecedent

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

Mid-level-ontology.kif 2640-2645

If a process is an instance of electrical 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 26053-26074

If a physical is an instance of earphone,
then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity

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