Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DeviceOff(device off) |
| appearance as argument number 1 |
|
| (instance DeviceOff DeviceStateAttribute) | Mid-level-ontology.kif 2444-2444 | Device off is an instance of device state attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute DeviceOn DeviceOff) | ComputingBrands.kif 3550-3550 | Device on is the opposite of device off |
| (termFormat EnglishLanguage DeviceOff "device off") | domainEnglishFormat.kif 19350-19350 | Device on is the opposite of device off |
| (termFormat ChineseTraditionalLanguage DeviceOff "設備關閉") | domainEnglishFormat.kif 19351-19351 | Device on is the opposite of device off |
| (termFormat ChineseLanguage DeviceOff "设备关闭") | domainEnglishFormat.kif 19352-19352 | Device on is the opposite of device off |
| antecedent |
|
|
| (=> (and (instance ?EC EngineChoke) (holdsDuring ?FSC1 (attribute ?EC DeviceOn)) (holdsDuring ?FSC2 (attribute ?EC DeviceOff)) (instance ?C EngineCylinder) (capacity ?C ?M) (instance ?FSC1 FourStrokeCompression) (instance ?FSC2 FourStrokeCompression) (eventLocated ?FSC1 ?C) (eventLocated ?FSC2 ?C) (instance ?A1 Air) (instance ?F1 Fuel) (part ?A1 ?MIX1) (part ?F1 ?MIX1) (measure ?MIX1 ?M) (instance ?A2 Air) (instance ?F2 Fuel) (part ?A2 ?MIX2) (part ?F2 ?MIX2) (measure ?MIX2 ?M) (instance ?U UnitOfMeasure) (measure ?A1 (MeasureFn ?A1M ?U)) (measure ?A2 (MeasureFn ?A2M ?U)) (measure ?F1 (MeasureFn ?F1M ?U)) (measure ?F2 (MeasureFn ?F2M ?U))) (greaterThan (DivisionFn ?A2M ?F2M) (DivisionFn ?A1M ?F1M))) |
Cars.kif 1253-1287 | If All of the following hold: (1) X is an instance of engine choke (2) device on is an attribute of X holds during Y (3) device off is an attribute of X holds during Z (4) W is an instance of engine cylinder (5) V is a capacity of W (6) Y is an instance of four stroke compression (7) Z is an instance of four stroke compression (8) Y is located at W (9) Z is located at W (10) U is an instance of air (11) T is an instance of fuel (12) U is a part of S (13) T is a part of S (14) the measure of S is V (15) R is an instance of air (16) Q is an instance of fuel (17) R is a part of P (18) Q is a part of P (19) the measure of P is V (20) O is an instance of unit of measure (21) the measure of U is N O(s) (22) the measure of R is M O(s) (23) the measure of T is L O(s) (24) the measure of Q is K O(s), then M, K is greater than N, and L |
| (=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))) |
Cars.kif 1702-1720 | If All of the following hold: (1) X is an instance of clutch (2) Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of gearbox (5) V is an instance of gear (6) V is a part of W (7) W is a part of Y (8) X is a part of Y (9) Z is a part of Y (10) U is an instance of motion (11) Z is a patient of U (12) device off is an attribute of X, then there exists T such that T is an instance of motion, W is a patient of T, and U causes T |
| (=> (holdsDuring ?T (and (maxDeviceStorageTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOff) (airTemperature ?A (MeasureFn ?T2 ?U)) (greaterThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3563-3576 | If maximum device storage temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is greater than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely |
| (=> (holdsDuring ?T (and (minDeviceStorageTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOff) (airTemperature ?A (MeasureFn ?T2 ?U)) (lessThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3614-3627 | If minimum device storagqqqe temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is less than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely |
| consequent |
|
|
|