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 17880-17881 | |
(domain OperatingFn 1 Device) | Mid-level-ontology.kif 17883-17883 | The number 1 argument of operating is an instance of device |
(instance OperatingFn UnaryFunction) | Mid-level-ontology.kif 17879-17879 | Operating is an instance of unary function |
(rangeSubclass OperatingFn Process) | Mid-level-ontology.kif 17884-17884 | 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 42246-42246 | |
(termFormat ChineseTraditionalLanguage OperatingFn "操作") | domainEnglishFormat.kif 42245-42245 | |
(termFormat EnglishLanguage OperatingFn "operating") | domainEnglishFormat.kif 42244-42244 |
antecedent |
consequent |