Toothbrush - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Toothbrush

Toothbrush(toothbrush)

electric_toothbrush, toothbrush

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2220-2225
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 788-788
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2219-2219	Toothbrush is a subclass of brush or comb

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 350-350	Miswak is a subclass of toothbrush
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58442-58442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58441-58441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58440-58440

antecedent

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

Mid-level-ontology.kif 2226-2236

If a physical is an instance of toothbrush,
then the physical has the purpose there exist an entity, another entity and the physicalOOTH such that the physicalOOTH is an instance of tooth and the physical is an instrument for the entity and the entity is an instance of killing and the other entity is an instance of bacterium and the other entity is a patient of the entity and the physicalOOTH is a patient of 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