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 12762-12763
(externalImage Flammable "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Hazard_F.svg") pictureList.kif 2677-2677
(instance Flammable PhysicalAttribute) Merge.kif 12761-12761 Flammable is an instance of physical attribute

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


(termFormat ChineseLanguage Flammable "易燃的") domainEnglishFormat.kif 24174-24174
(termFormat ChineseTraditionalLanguage Flammable "易燃的") domainEnglishFormat.kif 24173-24173
(termFormat EnglishLanguage Flammable "flammable") domainEnglishFormat.kif 24172-24172

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


(=>
    (attribute ?X Flammable)
    (capability Combustion patient ?X))
Merge.kif 12764-12766

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


(=>
    (attribute ?G FlammableLiquid)
    (and
        (instance ?G Substance)
        (attribute ?G Liquid)
        (attribute ?G Flammable)))
Transportation.kif 4152-4157
(=>
    (attribute ?G FlammableSolid)
    (and
        (instance ?G Substance)
        (attribute ?G Solid)
        (attribute ?G Flammable)))
Transportation.kif 4164-4169
(=>
    (instance ?X FossilFuel)
    (attribute ?X Flammable))
Mid-level-ontology.kif 2160-2162


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