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 18970-18971
(domain OperatingFn 1 Device) Mid-level-ontology.kif 18973-18973
(instance OperatingFn UnaryFunction) Mid-level-ontology.kif 18969-18969
(rangeSubclass OperatingFn Process) Mid-level-ontology.kif 18974-18974

appearance as argument number 2
-------------------------


(format ChineseLanguage OperatingFn "%1 的 operating ") domainEnglishFormat.kif 1843-1843
(format ChineseTraditionalLanguage OperatingFn "%1 的 operating ") domainEnglishFormat.kif 1842-1842
(format EnglishLanguage OperatingFn "the operating of %1") domainEnglishFormat.kif 1841-1841
(termFormat ChineseLanguage OperatingFn "操作") domainEnglishFormat.kif 42277-42277
(termFormat ChineseTraditionalLanguage OperatingFn "操作") domainEnglishFormat.kif 42276-42276
(termFormat EnglishLanguage OperatingFn "operating") domainEnglishFormat.kif 42275-42275

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


(=>
    (instance ?P
        (OperatingFn DieselEngine))
    (exists (?F)
        (and
            (instance ?F DieselFuel)
            (resource ?P ?F))))
Mid-level-ontology.kif 24729-24734
(=>
    (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 24718-24723
(=>
    (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 1831-1839

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


(=>
    (attribute ?PERSON RadioOperator)
    (hasSkill
        (OperatingFn CommunicationRadio) ?PERSON))
Transportation.kif 4420-4422
(=>
    (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 3816-3830


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