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 | O argumento numero 1 de OperatingFn e' uma instancia de Aparelho |
(instance OperatingFn UnaryFunction) | Mid-level-ontology.kif 17880-17880 | OperatingFn e' uma instancia de funcao Unaria |
(rangeSubclass OperatingFn Process) | Mid-level-ontology.kif 17885-17885 | Os valores retornados por OperatingFn sao as sub-classes de Processo |
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 |