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 17297-17298 | |
(domain OperatingFn 1 Device) | Mid-level-ontology.kif 17300-17300 | The number 1 argument of operating is an instance of device |
(instance OperatingFn UnaryFunction) | Mid-level-ontology.kif 17296-17296 | Operating is an instance of unary function |
(rangeSubclass OperatingFn Process) | Mid-level-ontology.kif 17301-17301 | The values returned by operating are subclasses of process |
appearance as argument number 2 |
![]() |
(format ChineseLanguage OperatingFn "%1 的 operating ") | domainEnglishFormat.kif 1839-1839 | |
(format ChineseTraditionalLanguage OperatingFn "%1 的 operating ") | domainEnglishFormat.kif 1838-1838 | |
(format EnglishLanguage OperatingFn "the operating of %1") | domainEnglishFormat.kif 1837-1837 | |
(termFormat ChineseLanguage OperatingFn "操作") | domainEnglishFormat.kif 42223-42223 | |
(termFormat ChineseTraditionalLanguage OperatingFn "操作") | domainEnglishFormat.kif 42222-42222 | |
(termFormat EnglishLanguage OperatingFn "operating") | domainEnglishFormat.kif 42221-42221 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |