Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ElectricTransmission(electric transmission) |
| appearance as argument number 1 |
|
| (subclass ElectricTransmission Transfer) | Mid-level-ontology.kif 33829-33829 | Electric transmission is a subclass of transfer |
| (subclass ElectricTransmission RadiatingElectromagnetic) | Mid-level-ontology.kif 33830-33830 | Electric transmission is a subclass of radiating electromagnetic |
| (documentation ElectricTransmission EnglishLanguage "The movement of a electric potential (modeled as a Substance) from one point to another necessarily through a conductive medium (although the degree of conductivity may be quite low, as in Lightning through Air).") | Mid-level-ontology.kif 33832-33835 | Electric transmission is a subclass of radiating electromagnetic |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E)))) |
Mid-level-ontology.kif 33837-33842 | If X is an instance of electric transmission, then there exists Y such that Y is an instance of electricity and the object transferred in X is Y |
| (=> (and (instance ?IC IgnitionCoil) (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC) (measure ?E1 (MeasureFn ?N1 Volt))) (approximateValue ?N1 12)) |
Cars.kif 3045-3055 | If All of the following hold: (1) X is an instance of ignition coil (2) Y is an instance of electric transmission (3) Z is a resource for Y (4) Z is an instance of electricity (5) W is an instance of electricity (6) W is a result of Y (7) X is an instrument for Y (8) the measure of Z is V volt(s), then the approximate value of V is 12 |
| consequent |
|
|
| (=> (instance ?E Electrolyte) (hasPurpose ?E (exists (?ET) (and (instance ?ET ElectricTransmission) (patient ?ET ?E) (holdsDuring ?ET (attribute ?E Liquid)))))) |
Cars.kif 2336-2344 | If X is an instance of electrolyte, then X has the purpose there exists Y such that Y is an instance of electric transmission, X is a patient of Y, and liquid is an attribute of X holds during Y |
| (=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?E1 ?E2 ?P) (and (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC))))) |
Cars.kif 3033-3043 | If X is an instance of ignition coil, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of electric transmission (3) Y is a resource for W (4) Y is an instance of electricity (5) Z is an instance of electricity (6) Z is a result of W (7) X is an instrument for W |
| (=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?P ?S) (and (instance ?P ElectricTransmission) (instrument ?P ?IC) (instance ?S Spark) (causes ?P ?S))))) |
Cars.kif 3057-3065 | If X is an instance of ignition coil, then X has the purpose there exist Y, Z such that Y is an instance of electric transmission, X is an instrument for Y, Z is an instance of spark, and Y causes Z |
| (=> (voltageRatingPrimary ?O ?Q) (exists (?P ?EC ?P ?E) (and (part ?P ?O) (instance ?EC ElectricTransmission) (destination ?EC ?P) (objectTransferred ?EC ?E) (instance ?E Electricity) (measure ?E ?Q)))) |
engineering.kif 628-637 | If the FunctionQuantity of X is Y, then All of the following hold: (1) there exist Z, W,, , Z (2) V such that Z is a part of X (3) W is an instance of electric transmission (4) W ends up at Z (5) the object transferred in W is V (6) V is an instance of electricity (7) the measure of V is Y |
| (=> (voltageRatingSecondary ?O ?Q) (exists (?S ?EC ?E) (and (part ?S ?O) (instance ?EC ElectricTransmission) (origin ?EC ?S) (objectTransferred ?EC ?E) (instance ?E Electricity) (measure ?E ?Q)))) |
engineering.kif 670-679 | If the FunctionQuantity of X is Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a part of X (3) W is an instance of electric transmission (4) W originates at Z (5) the object transferred in W is V (6) V is an instance of electricity (7) the measure of V is Y |
|