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 2369-2372
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2367-2367	Electric transmission is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2366-2366	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 2381-2381	Charging is a subclass of electric transmission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2403-2403	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 2368-2368	Spark is a subclass of electric transmission

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3216-3226	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 a real number volt(s), then the approximate value of the real number is 12
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2374-2379	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 2486-2494	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 3204-3214	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 3228-3236	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33199-33208	If the FunctionQuantity of a transformer is a function quantity, then there exist an object, a transfer,, , the object and another object such that the object is a part of the transformer and the transfer is an instance of electric transmission and the transfer ends up at the object and the object transferred in the transfer is the other object and the other object is an instance of electricity and the measure of the other object is the function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33241-33250	If the FunctionQuantity of a transformer is a function quantity, then there exist an object, a transfer and another object such that the object is a part of the transformer and the transfer is an instance of electric transmission and the transfer originates at the object and the object transferred in the transfer is the other object and the other object is an instance of electricity and the measure of the other object is the function quantity

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