DeviceOn
|
|
appearance as argument number 1 |
(contraryAttribute DeviceOn DeviceOff) | ComputingBrands.kif 3644-3644 | 设备上 是 设备关闭 的相反 |
(instance DeviceOn DeviceStateAttribute) | Mid-level-ontology.kif 1871-1871 | 设备上 是 设备状态属性 的 instance |
appearance as argument number 2 |
(termFormat ChineseLanguage DeviceOn "设备上") | domainEnglishFormat.kif 19356-19356 | |
(termFormat ChineseTraditionalLanguage DeviceOn "設備上") | domainEnglishFormat.kif 19355-19355 | |
(termFormat EnglishLanguage DeviceOn "device on") | domainEnglishFormat.kif 19354-19354 |
antecedent |
consequent |
(=> (and (instance ?P TurningOffDevice) (patient ?P ?D)) (and (holdsDuring (BeginFn (WhenFn ?P)) (attribute ?D DeviceOn)) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?D DeviceOff)))) |
Mid-level-ontology.kif 1071-1081 | |
(=> (and (instance ?P TurningOnDevice) (patient ?P ?D)) (and (holdsDuring (BeginFn (WhenFn ?P)) (attribute ?D DeviceOff)) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?D DeviceOn)))) |
Mid-level-ontology.kif 1095-1105 | |
(=> (instance ?S Solenoid) (hasPurpose ?S (exists (?P ?T1 ?T2 ?L1 ?L2) (and (part ?P ?S) (holdsDuring ?T1 (and (attribute ?S DeviceOn) (located ?P ?L1))) (holdsDuring ?T2 (and (attribute ?S DeviceOn) (located ?P ?L2))) (not (equal ?L1 ?L2)))))) |
Cars.kif 3936-3951 |