Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Flammable(flammable)
|  | flammability, illuminant, inflammability, sparkler |
| appearance as argument number 1 |
|
|
| (instance Flammable PhysicalAttribute) | Merge.kif 12875-12875 | Flammable is an instance of physical attribute |
| (documentation Flammable EnglishLanguage "The Attribute of being flammable at normal temperatures (i.e. not while a Plasma).") | Merge.kif 12876-12877 | Flammable is an instance of physical attribute |
| (externalImage Flammable "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Hazard_F.svg") | pictureList.kif 2677-2677 | Flammable is an instance of physical attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?X Flammable) (capability Combustion patient ?X)) |
Merge.kif 12878-12880 | If flammable is an attribute of X, then X is capable of doing burning as a patient |
| consequent |
|
|
| (=> (instance ?X FossilFuel) (attribute ?X Flammable)) |
Mid-level-ontology.kif 2229-2231 | If X is an instance of fossil fuel, then flammable is an attribute of X |
| (=> (attribute ?G FlammableLiquid) (and (instance ?G Substance) (attribute ?G Liquid) (attribute ?G Flammable))) |
Transportation.kif 4696-4701 | If flammable liquid is an attribute of X, then X is an instance of substance, liquid is an attribute of X, and flammable is an attribute of X |
| (=> (attribute ?G FlammableSolid) (and (instance ?G Substance) (attribute ?G Solid) (attribute ?G Flammable))) |
Transportation.kif 4708-4713 | If flammable solid is an attribute of X, then X is an instance of substance, solid is an attribute of X, and flammable is an attribute of X |
|