OperatingFn |
appearance as argument number 1 |
![]() |
(documentation OperatingFn EnglishLanguage "(OperatingFn ?DEVICE) denotes the class of events in which a Device of type ?device is operated.") | Mid-level-ontology.kif 18799-18800 | |
(domain OperatingFn 1 Device) | Mid-level-ontology.kif 18802-18802 | The number 1 argument of operating is an instance of device |
(instance OperatingFn UnaryFunction) | Mid-level-ontology.kif 18798-18798 | Operating is an instance of unary function |
(rangeSubclass OperatingFn Process) | Mid-level-ontology.kif 18803-18803 | The values returned by operating are subclasses of process |
appearance as argument number 2 |
![]() |
(format ChineseLanguage OperatingFn "%1 的 operating ") | domainEnglishFormat.kif 1843-1843 | |
(format ChineseTraditionalLanguage OperatingFn "%1 的 operating ") | domainEnglishFormat.kif 1842-1842 | |
(format EnglishLanguage OperatingFn "the operating of %1") | domainEnglishFormat.kif 1841-1841 | |
(termFormat ChineseLanguage OperatingFn "操作") | domainEnglishFormat.kif 42277-42277 | |
(termFormat ChineseTraditionalLanguage OperatingFn "操作") | domainEnglishFormat.kif 42276-42276 | |
(termFormat EnglishLanguage OperatingFn "operating") | domainEnglishFormat.kif 42275-42275 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |