Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - OperatingFn
OperatingFn

appearance as argument number 1
-------------------------


(instance OperatingFn UnaryFunction) Mid-level-ontology.kif 19814-19814 Operating is an instance of unary function
(documentation OperatingFn EnglishLanguage "(OperatingFn ?DEVICE) denotes the class of events in which a Device of type ?device is operated.") Mid-level-ontology.kif 19815-19816 Operating is an instance of unary function
(domainSubclass OperatingFn 1 Device) Mid-level-ontology.kif 19818-19818 The number 1 argument of operating is a subclass of device
(rangeSubclass OperatingFn Process) Mid-level-ontology.kif 19819-19819 The values returned by operating are subclasses of process

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


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

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


(=>
    (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 2340-2348 If X is an instance of the operating of internal combustion engine, then there exist Y, Z, W such that Y is an instance of internal combustion engine, Y is an instrument for X, Z is a hole in Y, W is an instance of burning, and W completely fills Z
(=>
    (instance ?R
        (OperatingFn GasolineEngine))
    (exists (?F)
        (and
            (instance ?F Gasoline)
            (resource ?R ?F))))		 Mid-level-ontology.kif 25922-25927 If X is an instance of the operating of gasoline engine, then there exists Y such that Y is an instance of gasoline and Y is a resource for X
(=>
    (instance ?P
        (OperatingFn DieselEngine))
    (exists (?F)
        (and
            (instance ?F DieselFuel)
            (resource ?P ?F))))		 Mid-level-ontology.kif 25933-25938 If X is an instance of the operating of diesel engine, then there exists Y such that Y is an instance of diesel fuel and Y is a resource for X
(=>
    (instance ?PROCESS
        (OperatingFn ComputerMouse))
    (exists (?SURFACE)
        (and
            (instance ?SURFACE Object)
            (attribute ?SURFACE Flat)
            (eventLocated ?PROCESS ?SURFACE))))		 ComputerInput.kif 405-412 If X is an instance of the operating of computer mouse, then there exists Y such that Y is an instance of object, flat is an attribute of Y, and X is located at Y

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


(=>
    (and
        (deviceUpTime ?D ?T)
        (instance ?D ?CLASS))
    (exists (?P)
        (and
            (instance ?P
                (OperatingFn ?CLASS))
            (equal ?T
                (WhenFn ?P))
            (holdsDuring ?T
                (attribute ?D DeviceOn))
            (instrument ?P ?D))))		 Mid-level-ontology.kif 34479-34491 If Device X is in operation during TimeInterval Y and X is an instance of Z, then there exists W such that W is an instance of the operating of Z, equal Y, the time of existence of W, device on is an attribute of X holds during Y, and X is an instrument for W
(=>
    (and
        (deviceDownTime ?D ?T)
        (instance ?D ?CLASS))
    (and
        (holdsDuring ?T
            (attribute ?D DeviceOff))
        (not
            (exists (?P)
                (and
                    (instance ?P
                        (OperatingFn ?CLASS))
                    (during
                        (WhenFn ?P) ?T)
                    (instrument ?P ?D))))))		 Mid-level-ontology.kif 34502-34516 If Device X is not in operation during TimeInterval Y and X is an instance of Z, then device off is an attribute of X holds during Y and there doesn't exist W such that W is an instance of the operating of Z, the time of existence of W takes place during Y, and X is an instrument for W
(=>
    (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 3622-3636 If X is an instance of remote ignition control, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of powered vehicle (3) W is an instance of electronic signalling (4) X is an instrument for W (5) W ends up at Y (6) Z is an instance of engine (7) Z is a component of Y (8) V is an instance of the operating of engine (9) Z experiences V (10) W causes V
(=>
    (attribute ?PERSON RadioOperator)
    (hasSkill
        (OperatingFn CommunicationRadio) ?PERSON))		 Transportation.kif 4966-4968 If radio operator is an attribute of X, then X has the skill to do the operating of communication radio


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners