TreeView Knowledge Base Browser - FuelAtomizer

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FuelAtomizer

FuelAtomizer(fuel atomizer)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1107-1110
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1105-1105	Fuel atomizer is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1132-1132	Carburetor is a subclass of fuel atomizer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1126-1126	Fuel injector is a subclass of fuel atomizer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1106-1106

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 1112-1124

If a physical is an instance of fuel atomizer,
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 fuel and the other entity is an instance of spraying and the third entity is an instance of air and the fourth entity is an instance of burning and the third entity is a patient of the other entity and the entity is a patient of the other entity and the entity is a resource for the fourth entity and the third entity is a resource for 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