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 | 域 操作, 1 and Device |
(instance OperatingFn UnaryFunction) | Mid-level-ontology.kif 17879-17879 | 例 操作 and UnaryFunction |
(rangeSubclass OperatingFn Process) | Mid-level-ontology.kif 17884-17884 | 範圍子類 操作 and 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 |
(=> (instance ?P (OperatingFn DieselEngine)) (exists (?F) (and (instance ?F DieselFuel) (resource ?P ?F)))) |
Mid-level-ontology.kif 23614-23619 | |
(=> (instance ?PROCESS (OperatingFn ComputerMouse)) (exists (?SURFACE) (and (instance ?SURFACE Object) (attribute ?SURFACE Flat) (eventLocated ?PROCESS ?SURFACE)))) |
ComputerInput.kif 389-396 | |
(=> (instance ?R (OperatingFn GasolineEngine)) (exists (?F) (and (instance ?F Gasoline) (resource ?R ?F)))) |
Mid-level-ontology.kif 23603-23608 | |
(=> (instance ?R (OperatingFn InternalCombustionEngine)) (exists (?E ?C ?F) (and (instance ?E InternalCombustionEngine) (instrument ?R ?E) (hole ?C ?E) (instance ?F Combustion) (completelyFills ?F ?C)))) |
Mid-level-ontology.kif 1765-1773 |
|
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 3763-3777 |