TreeView Knowledge Base Browser - TransferSwitch

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TransferSwitch

TransferSwitch(transfer switch)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 881-881
No TPTP formula. May not be expressible in strict first order.	engineering.kif 880-880	Transfer switch is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58814-58814
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58813-58813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58812-58812

antecedent

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

engineering.kif 882-901

If a physical is an instance of transfer switch,
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 process and the other entity is an instance of power source and the third entity is an instance of power source and the fourth entity is an instance of electricity and the physical is an instrument for the entity and the fourth entity originates at the other entity holds during the beginning of the time of existence of the entity and the fourth entity originates at the other entity holds during the end of the time of existence of the entity and the other entity is not equal to the third 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