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 12586-12587
(externalImage Flammable "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Hazard_F.svg") pictureList.kif 2678-2678
(instance Flammable PhysicalAttribute) Merge.kif 12585-12585 FlammablePhysicalAttributeinstance では %n

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


(termFormat ChineseLanguage Flammable "易燃的") domainEnglishFormat.kif 24170-24170
(termFormat ChineseTraditionalLanguage Flammable "易燃的") domainEnglishFormat.kif 24169-24169
(termFormat EnglishLanguage Flammable "flammable") domainEnglishFormat.kif 24168-24168

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


(=>
    (attribute ?X Flammable)
    (capability Combustion patient ?X))
Merge.kif 12588-12590

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


(=>
    (instance ?X FossilFuel)
    (attribute ?X Flammable))
Mid-level-ontology.kif 1697-1699


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