DeviceOn |
appearance as argument number 1 |
![]() |
(contraryAttribute DeviceOn DeviceOff) | ComputingBrands.kif 3639-3639 | |
(instance DeviceOn DeviceStateAttribute) | Mid-level-ontology.kif 2334-2334 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage DeviceOn "设备上") | domainEnglishFormat.kif 19365-19365 | |
(termFormat ChineseTraditionalLanguage DeviceOn "設備上") | domainEnglishFormat.kif 19364-19364 | |
(termFormat EnglishLanguage DeviceOn "device on") | domainEnglishFormat.kif 19363-19363 |
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 1064-1074 | |
(=> (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 1088-1098 | |
(=> (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 3989-4004 |
![]() |
![]() |