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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Flammable
Flammable(flammable)
flammability, illuminant, inflammability, sparkler

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


(documentation Flammable ChineseLanguage "这是在常温下燃烧的 Attribute (即不是 Plasma)。") chinese_format.kif 3191-3191
(documentation Flammable EnglishLanguage "The Attribute of being flammable at normal temperatures (i.e. not while a Plasma).") Merge.kif 12661-12662
(externalImage Flammable "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Hazard_F.svg") pictureList.kif 2677-2677
(instance Flammable PhysicalAttribute) Merge.kif 12660-12660 Flammable is an instance of physical attribute

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


(termFormat ChineseLanguage Flammable "易燃的") domainEnglishFormat.kif 24186-24186
(termFormat ChineseTraditionalLanguage Flammable "易燃的") domainEnglishFormat.kif 24185-24185
(termFormat EnglishLanguage Flammable "flammable") domainEnglishFormat.kif 24184-24184

antecedent
-------------------------


(=>
    (attribute ?X Flammable)
    (capability Combustion patient ?X))
Merge.kif 12663-12665

consequent
-------------------------


(=>
    (attribute ?G FlammableLiquid)
    (and
        (instance ?G Substance)
        (attribute ?G Liquid)
        (attribute ?G Flammable)))
Transportation.kif 4150-4155
(=>
    (attribute ?G FlammableSolid)
    (and
        (instance ?G Substance)
        (attribute ?G Solid)
        (attribute ?G Flammable)))
Transportation.kif 4162-4167
(=>
    (instance ?X FossilFuel)
    (attribute ?X Flammable))
Mid-level-ontology.kif 1763-1765


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