AirFilter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AirFilter

AirFilter(air filter)

air_cleaner, air_filter, filter_tip

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 940-941
No TPTP formula. May not be expressible in strict first order.	Cars.kif 938-938	Air filter is a subclass of filter

appearance as argument number 2

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

Cars.kif 939-939

antecedent

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

Cars.kif 943-958

If a physical is an instance of air filter,
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 removing and the other entity is a part of the fourth entity and the other entity is an instance of air and the third entity is not an instance of air and solid is an attribute of the third entity and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of mixture and the physical is an instrument for the 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