Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LeadAcidWetBattery
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LeadAcidWetBattery RechargeableBattery) | Cars.kif 2292-2292 | Lead acid battery is a subclass of rechargeable battery |
| (documentation LeadAcidWetBattery EnglishLanguage "One of the most prevalent types of Battery. It consists of plates made (in part) of Lead, in an Acid solution.") | Cars.kif 2294-2296 | Lead acid battery is a subclass of rechargeable battery |
| (externalImage LeadAcidWetBattery "http://en.wikipedia.org/wiki/File:Photo_CarBattery.jpg") | Cars.kif 2310-2310 | Lead acid battery is a subclass of rechargeable battery |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LeadAcidWetBattery "lead acid battery") | Cars.kif 2293-2293 |
| antecedent |
|
|
| (=> (instance ?LAWB LeadAcidWetBattery) (material Lead ?LAWB)) |
Cars.kif 2298-2300 | If X is an instance of lead acid battery, then X is made of lead |
| (=> (instance ?LAWB LeadAcidWetBattery) (material ChemicalAcid ?LAWB)) |
Cars.kif 2302-2304 | If X is an instance of lead acid battery, then X is made of acid |
| (=> (instance ?LAWB LeadAcidWetBattery) (material PurifiedWater ?LAWB)) |
Cars.kif 2306-2308 | If X is an instance of lead acid battery, then X is made of purified water |
|
