Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Joule
|
|
|
| appearance as argument number 1 |
|
|
| (instance Joule CompositeUnitOfMeasure) | Merge.kif 6998-6998 | Joule is an instance of composite unit of measure |
| (instance Joule SystemeInternationalUnit) | Merge.kif 6999-6999 | Joule is an instance of systeme international unit |
| (documentation Joule EnglishLanguage "SI energy measure. Symbol: J. It is the work done when the point of application of 1 Newton is displaced a distance of 1 Meter in the direction of the force. Joule = N*m = m^2*kg*s^(-2).") | Merge.kif 7001-7004 | Joule is an instance of systeme international unit |
| (instance Joule UnitOfEnergy) | HouseholdAppliances.kif 1191-1191 | Joule is an instance of unit of energy |
| (externalImage Joule "http://upload.wikimedia.org/wikipedia/commons/7/71/ Joule.jpg") | pictureList.kif 4906-4906 | Joule is an instance of unit of energy |
| (externalImage Joule "http://upload.wikimedia.org/wikipedia/commons/8/80/ SS_joule.jpg") | pictureList.kif 5025-5025 | Joule is an instance of unit of energy |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (equal ?AMOUNT (MeasureFn ?X Joule)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 0.0002778 ?X) Watt))) |
Economy.kif 2251-2253 | If equal X and Y joule(s), then equal X and 0.0002778 and Y watt(s) |
| (=> (and (instance ?DEPOSITION Deposition) (patient ?DEPOSITION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?DEPOSITION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (lessThan ?Y ?X)) |
Geography.kif 8680-8694 | If X is an instance of deposition, Y is a patient of X, the measure of Y is Z joule(s) holds during immediately before the time of existence of X, and the measure of Y is W joule(s) holds during immediately after the time of existence of X, then W is less than Z |
| (=> (and (instance ?SUBLIMATION Sublimation) (patient ?SUBLIMATION ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?X Joule))) (holdsDuring (ImmediateFutureFn (WhenFn ?SUBLIMATION)) (measure ?OBJ (MeasureFn ?Y Joule)))) (greaterThan ?Y ?X)) |
Geography.kif 8732-8746 | If X is an instance of sublimation, Y is a patient of X, the measure of Y is Z joule(s) holds during immediately before the time of existence of X, and the measure of Y is W joule(s) holds during immediately after the time of existence of X, then W is greater than Z |
| consequent |
|
|
| (=> (equal ?AMOUNT (MeasureFn ?X KilowattHour)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 3600000.0 ?X) Joule))) |
Economy.kif 2246-2248 | If equal X and Y kilowatt hour(s), then equal X and 3600000.0 and Y joule(s) |
| (=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER KilowattHour) (MeasureFn (MultiplicationFn ?NUMBER 3600000) Joule))) |
HouseholdAppliances.kif 1201-1207 | If equal X, 1, and X, then equal X kilowatt hour(s) and X and 3600000 joule(s) |
| statement |
|
|
| (equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule)) |
Merge.kif 7289-7297 | equal X electron volt(s) and X and 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 joule(s) |
| (equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7483-7485 | equal X calorie(s) and X and 4.1868 joule(s) |
| (equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule)) |
Merge.kif 7491-7493 | equal X british thermal unit(s) and X and 1055.05585262 joule(s) |
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2243-2243 | equal 1 kilowatt hour(s) and 3.6 1 million joules(s) |
| (equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000.0 Joule)) |
Economy.kif 2244-2244 | equal 1 kilowatt hour(s) and 3600000.0 joule(s) |
|
