Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeatSealer

Sigma KEE - HeatSealer
HeatSealer

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 HeatSealerデバイスsubclass では %n

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


(termFormat ChineseLanguage HeatSealer "热封机") domainEnglishFormat.kif 27810-27810
(termFormat ChineseTraditionalLanguage HeatSealer "熱封機") domainEnglishFormat.kif 27809-27809
(termFormat EnglishLanguage HeatSealer "heat sealer") domainEnglishFormat.kif 27808-27808

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


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