DeviceOn |
appearance as argument number 1 |
(contraryAttribute DeviceOn DeviceOff) | ComputingBrands.kif 3644-3644 | DeviceOn wird DeviceOff entgegengesetzet %n{nicht} |
(instance DeviceOn DeviceStateAttribute) | Mid-level-ontology.kif 1864-1864 | DeviceOn ist ein fall von DeviceStateAttribute %n{nicht} |
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 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 3913-3928 |
|