Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Filter
Filter(filter)
bacteria_bed, chromatography_column, coffee_filter, column, drain_basket, filter, filter_bed, oil_filter, strainer, water_filter

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2520-2521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1113-1113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2519-2519 Filter is a subclass of device

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1363-1363 Absolute filter is a subclass of filter
No TPTP formula. May not be expressible in strict first order. Cars.kif 938-938 Air filter is a subclass of filter
No TPTP formula. May not be expressible in strict first order. Cars.kif 1683-1683 Charcoal filter is a subclass of filter
No TPTP formula. May not be expressible in strict first order. Cars.kif 917-917 Fuel filter is a subclass of filter
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23714-23714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23713-23713
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23712-23712

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2523-2531

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 686-701
No TPTP formula. May not be expressible in strict first order. Food.kif 799-834


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