Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OperatingFn
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 16955-16956
(domain OperatingFn 1 Device) Mid-level-ontology.kif 16958-16958
(instance OperatingFn UnaryFunction) Mid-level-ontology.kif 16954-16954
(rangeSubclass OperatingFn Process) Mid-level-ontology.kif 16959-16959

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 42223-42223
(termFormat ChineseTraditionalLanguage OperatingFn "操作") domainEnglishFormat.kif 42222-42222
(termFormat EnglishLanguage OperatingFn "operating") domainEnglishFormat.kif 42221-42221

antecedent
-------------------------


(=>
    (instance ?P
        (OperatingFn DieselEngine))
    (exists (?F)
        (and
            (instance ?F DieselFuel)
            (resource ?P ?F))))
Mid-level-ontology.kif 22706-22711
(=>
    (instance ?PROCESS
        (OperatingFn ComputerMouse))
    (exists (?SURFACE)
        (and
            (instance ?SURFACE Object)
            (attribute ?SURFACE Flat)
            (eventLocated ?PROCESS ?SURFACE))))
ComputerInput.kif 412-419
(=>
    (instance ?R
        (OperatingFn GasolineEngine))
    (exists (?F)
        (and
            (instance ?F Gasoline)
            (resource ?R ?F))))
Mid-level-ontology.kif 22695-22700
(=>
    (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 1703-1711

consequent
-------------------------


(=>
    (attribute ?PERSON RadioOperator)
    (hasSkill ?PERSON
        (OperatingFn CommunicationRadio)))
Transportation.kif 3290-3292
(=>
    (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 3758-3772


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners