Sieve - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sieve

Sieve(sieve)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4524-4525
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4526-4526	Sieve is a subclass of porous container

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64360-64360
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64361-64361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64359-64359

antecedent

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

Mid-level-ontology.kif 4528-4543

If a physical is an instance of sieve,
then the physical has the purpose there exist an entity, another entity,, , the physicalUB,, , a fourth entity and a fifth entity such that the entity is an instance of removing and the other entity is an instance of mixture and the physicalUB is an instance of substance and the physicalUB is a part of the other entity and the physicalUB is a patient of the entity and the fourth entity is a part of the physical and the fourth entity is an instrument for the entity and the fifth entity is an instance of human and the fifth entity is an agent of the entity and the fifth entity doesn't desire the physicalUB

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