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 | Die Zahl 1 Argument von OperatingFn ist ein fall von Device %n{nicht} |
(instance OperatingFn UnaryFunction) | Mid-level-ontology.kif 17880-17880 | OperatingFn ist ein fall von UnaryFunction %n{nicht} |
(rangeSubclass OperatingFn Process) | Mid-level-ontology.kif 17885-17885 | Die werte die OperatingFn zurueckgibt sind teilkategorien von 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 |
(=> (attribute ?PERSON RadioOperator) (hasSkill (OperatingFn CommunicationRadio) ?PERSON)) |
Transportation.kif 3283-3285 |
|
(=> (instance ?X RemoteIgnitionControl) (hasPurpose ?X (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC) (and (instance ?VEHICLE PoweredVehicle) (instance ?SIGNAL ElectronicSignalling) (instrument ?SIGNAL ?X) (destination ?SIGNAL ?VEHICLE) (instance ?ENGINE Engine) (component ?ENGINE ?VEHICLE) (instance ?PROC (OperatingFn Engine)) (experiencer ?PROC ?ENGINE) (causes ?SIGNAL ?PROC))))) |
Cars.kif 3755-3769 |
|