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 17881-17882 | |
(domain OperatingFn 1 Device) | Mid-level-ontology.kif 17884-17884 | OperatingFn の数値 1 引数は デバイス の instance では %n |
(instance OperatingFn UnaryFunction) | Mid-level-ontology.kif 17880-17880 | OperatingFn は 1変数関数 の instance では %n |
(rangeSubclass OperatingFn Process) | Mid-level-ontology.kif 17885-17885 | OperatingFn が返す値は 工程 の subclasses では %n |
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 |