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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Flammable
Flammable

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 12725-12726
(externalImage Flammable "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Hazard_F.svg") pictureList.kif 2677-2677
(instance Flammable PhysicalAttribute) Merge.kif 12724-12724

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


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

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


(=>
    (attribute ?X Flammable)
    (capability Combustion patient ?X))
Merge.kif 12727-12729

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


(=>
    (attribute ?G FlammableLiquid)
    (and
        (instance ?G Substance)
        (attribute ?G Liquid)
        (attribute ?G Flammable)))
Transportation.kif 4154-4159
(=>
    (attribute ?G FlammableSolid)
    (and
        (instance ?G Substance)
        (attribute ?G Solid)
        (attribute ?G Flammable)))
Transportation.kif 4166-4171
(=>
    (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