HeatSealer - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HeatSealer EnglishLanguage "A HeatSealer is a machine used to seal products, packaging, and other thermoplastic materials using heat. This can be with uniform thermoplastic monolayers or with materials having several layers, at least one being thermoplastic. Heat sealing can join two similar materials together or can join dissimilar materials, one of which has a thermoplastic layer. (Wikipedia)")	Economy.kif 5161-5161
(subclass HeatSealer Device)	Economy.kif 5160-5160	Heat sealer is a subclass of device

appearance as argument number 2

(termFormat ChineseLanguage HeatSealer "热封机")	domainEnglishFormat.kif 27844-27844
(termFormat ChineseTraditionalLanguage HeatSealer "熱封機")	domainEnglishFormat.kif 27843-27843
(termFormat EnglishLanguage HeatSealer "heat sealer")	domainEnglishFormat.kif 27842-27842

antecedent

(=>
    (instance ?HS HeatSealer)
    (hasPurpose ?HS
        (exists (?CLOSE ?PLAST ?CONT ?HEAT)
            (and
                (instance ?CONT Container)
                (instance ?PLAST Plastic)
                (instance ?CLOSE Closing)
                (instance ?HEAT Heating)
                (instrument ?CLOSE ?HS)
                (instrument ?CLOSE ?PLAST)
                (agent ?HEAT ?HS)
                (patient ?HEAT ?PLAST)
                (result ?HEAT ?CLOSE)
                (patient ?CLOSE ?CONT)))))

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

KB Term:			Term intersection

English Word: