TreeView Knowledge Base Browser - OperatingFn

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17880-17881
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17883-17883	The number 1 argument of operating is an instance of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17879-17879	Operating is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17884-17884	The values returned by operating are subclasses of process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1839-1839
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1838-1838
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1837-1837
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42246-42246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42245-42245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42244-42244

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23614-23619	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23603-23608	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	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

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3283-3285	If radio operator is an attribute of an agent, then the agent has the skill to do the operating of communication radio
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3763-3777	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 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