ElectricTransmission - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ElectricTransmission

ElectricTransmission(electric transmission)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2399-2402
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2397-2397	Electric transmission is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2396-2396	Electric transmission is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2411-2411	Charging is a subclass of electric transmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2433-2433	Discharging is a subclass of electric transmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 418-418	Spark is a subclass of electric transmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2398-2398

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3169-3179	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is volt a real number(s), then the approximate value of the real number is 12
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2404-2409	If a transfer is an instance of electric transmission, then there exists an object such that the object is an instance of electricity and the object transferred in the transfer is the object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2516-2524	If a physical is an instance of electrolyte, then the physical has the purpose there exists the physicalT such that the physicalT is an instance of electric transmission and the physical is a patient of the physicalT and liquid is an attribute of the physical holds during the physicalT
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3157-3167	If a physical is an instance of ignition coil, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of electric transmission and the entity is a resource for the third entity and the entity is an instance of electricity and the other entity is an instance of electricity and the other entity is a result of the third entity and the physical is an instrument for the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3181-3189	If a physical is an instance of ignition coil, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electric transmission and the physical is an instrument for the entity and the other entity is an instance of spark and the entity causes the other entity

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