DeviceOn
|
|
appearance as argument number 1 |
(contraryAttribute DeviceOn DeviceOff) | ComputingBrands.kif 3644-3644 | 相反的屬性 設備上 and 設備關閉 |
(instance DeviceOn DeviceStateAttribute) | Mid-level-ontology.kif 1871-1871 | 例 設備上 and 設備狀態屬性 |
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 3928-3943 |