HeatSealer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HeatSealer

HeatSealer(heat sealer)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5161-5161
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5160-5160	Heat sealer is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27810-27810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27809-27809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27808-27808

antecedent

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

Economy.kif 5163-5177

If a physical is an instance of heat sealer,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of container and the other entity is an instance of plastic and the entity is an instance of closing and the fourth entity is an instance of heating and the physical is an instrument for the entity and the other entity is an instrument for the entity and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity and the entity is a result of the fourth entity and the third entity 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