Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  HeatSealer

 Sigma KEE - HeatSealer
HeatSealer(heat sealer)

appearance as argument number 1
-------------------------


(subclass HeatSealer Device) Economy.kif 5509-5509 Heat sealer is a subclass of device
(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 5510-5510 Heat sealer is a subclass of device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage HeatSealer "heat sealer") domainEnglishFormat.kif 27812-27812
(termFormat ChineseTraditionalLanguage HeatSealer "熱封機") domainEnglishFormat.kif 27813-27813
(termFormat ChineseLanguage HeatSealer "热封机") domainEnglishFormat.kif 27814-27814

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 5512-5526 If X is an instance of heat sealer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of container (3) Z is an instance of plastic (4) Y is an instance of closing (5) V is an instance of heating (6) X is an instrument for Y (7) Z is an instrument for Y (8) X is an agent of V (9) Z is a patient of V (10) Y is a result of V (11) W is a patient of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners