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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSX10_2

 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 17908-17909
(domain OperatingFn 1 Device) Mid-level-ontology.kif 17911-17911 OperatingFn の数値 1 引数は デバイス の instance では %n
(instance OperatingFn UnaryFunction) Mid-level-ontology.kif 17907-17907 OperatingFn は 1変数関数 の instance では %n
(rangeSubclass OperatingFn Process) Mid-level-ontology.kif 17912-17912 OperatingFn が返す値は 工程 の subclasses では %n

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 42248-42248
(termFormat ChineseTraditionalLanguage OperatingFn "操作") domainEnglishFormat.kif 42247-42247
(termFormat EnglishLanguage OperatingFn "operating") domainEnglishFormat.kif 42246-42246

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


(=>
    (instance ?P
        (OperatingFn DieselEngine))
    (exists (?F)
        (and
            (instance ?F DieselFuel)
            (resource ?P ?F))))		 Mid-level-ontology.kif 23667-23672
(=>
    (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 23656-23661
(=>
    (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 1758-1766

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


(=>
    (attribute ?PERSON RadioOperator)
    (hasSkill
        (OperatingFn CommunicationRadio) ?PERSON))		 Transportation.kif 3335-3337
(=>
    (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 3740-3754


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

Show without tree


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