OperatingFn - Sigma Knowledge base Browser

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 16055-16056
(domain OperatingFn 1 Device)	Mid-level-ontology.kif 16058-16058	The number 1 argument of operating is an instance of device
(instance OperatingFn UnaryFunction)	Mid-level-ontology.kif 16054-16054	Operating is an instance of unary function
(rangeSubclass OperatingFn Process)	Mid-level-ontology.kif 16059-16059	The values returned by operating are subclasses of 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 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 21805-21810	If a process is an instance of the operating of diesel engine, then there exists an object such that the object is an instance of diesel fuel and the object is a resource for the process
(=> (instance ?PROCESS (OperatingFn ComputerMouse)) (exists (?SURFACE) (and (instance ?SURFACE Object) (attribute ?SURFACE Flat) (eventLocated ?PROCESS ?SURFACE))))	ComputerInput.kif 412-419	If a process is an instance of the operating of ComputerMouse, then there exists an object such that the object is an instance of object and flat is an attribute of the object and the process is located at 2
(=> (instance ?R (OperatingFn GasolineEngine)) (exists (?F) (and (instance ?F Gasoline) (resource ?R ?F))))	Mid-level-ontology.kif 21794-21799	If a process is an instance of the operating of gasoline engine, then there exists an object such that the object is an instance of gasoline and the object is a resource for the process
(=> (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 1702-1710	If a process is an instance of the operating of internal combustion engine, then there exist a self connected object, a hole and an object such that the self connected object is an instance of internal combustion engine and the self connected object is an instrument for the process and the hole is a hole in the self connected object and the object is an instance of combustion and the object completely fills the hole

consequent

(=> (attribute ?PERSON RadioOperator) (hasSkill ?PERSON (OperatingFn CommunicationRadio)))	Transportation.kif 3290-3292	If radio operator is an attribute of a kind of process, then the operating of communication radio has the skill to do a kind of process
(=> (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 3772-3786	If a physical is an instance of RemoteIgnitionControl, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of powered vehicle and the third entity is an instance of electronic signalling and the physical is an instrument for the third entity and the third entity ends up at the entity and the other entity is an instance of engine and the other entity is a component of the entity and the fourth entity is an instance of the operating of engine and the other entity experiences the fourth entity and the third entity causes the fourth entity

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