TreeView Knowledge Base Browser - HairRemoval

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HairRemoval

HairRemoval(hair removal)

electrolysis, shave, shaving

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11806-11808
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4712-4712
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11805-11805	Hair removal is a subclass of removing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27216-27216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27215-27215
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27214-27214

antecedent

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

Mid-level-ontology.kif 11810-11814

If a process is an instance of hair removal and an object is a resource for the process,
then the object is an instance of hair

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