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 18204-18205
(domain OperatingFn 1 Device)	Mid-level-ontology.kif 18207-18207	The number 1 argument of operating is an instance of device
(instance OperatingFn UnaryFunction)	Mid-level-ontology.kif 18203-18203	Operating is an instance of unary function
(rangeSubclass OperatingFn Process)	Mid-level-ontology.kif 18208-18208	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 42274-42274
(termFormat ChineseTraditionalLanguage OperatingFn "操作")	domainEnglishFormat.kif 42273-42273
(termFormat EnglishLanguage OperatingFn "operating")	domainEnglishFormat.kif 42272-42272

antecedent

(=> (instance ?P (OperatingFn DieselEngine)) (exists (?F) (and (instance ?F DieselFuel) (resource ?P ?F))))	Mid-level-ontology.kif 23963-23968	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 389-396	If a process is an instance of the operating of computer mouse, 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 the object
(=> (instance ?R (OperatingFn GasolineEngine)) (exists (?F) (and (instance ?F Gasoline) (resource ?R ?F))))	Mid-level-ontology.kif 23952-23957	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 1758-1766	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 burning and the object completely fills the hole

consequent

(=> (attribute ?PERSON RadioOperator) (hasSkill (OperatingFn CommunicationRadio) ?PERSON))	Transportation.kif 4183-4185	If radio operator is an attribute of an agent, then the agent has the skill to do the operating of communication radio
(=> (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	If a physical is an instance of remote ignition control, 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