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 17297-17298
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17300-17300	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 17296-17296	Operating is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17301-17301	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 42223-42223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42222-42222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42221-42221

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23062-23067	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23051-23056	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 1724-1732	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3758-3772	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 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