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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Electrolyte

Sigma KEE - Electrolyte
Electrolyte(electrolyte)electrolyte, polyelectrolyte

appearance as argument number 1
-------------------------


(documentation Electrolyte EnglishLanguage "A Substance that conducts Electricity and is a Liquid, typically found in Battery(s). In a LeadAcidWetBattery the electrolyte is a Mixture of distilled Water and SulfuricAcid.") Cars.kif 2497-2500
(subclass Electrolyte ConductorSubstance) Cars.kif 2495-2495 Electrolyte is a subclass of conductor substance

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


(termFormat EnglishLanguage Electrolyte "electrolyte") Cars.kif 2496-2496

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


(=>
    (instance ?E Electrolyte)
    (hasPurpose ?E
        (exists (?ET)
            (and
                (instance ?ET ElectricTransmission)
                (patient ?ET ?E)
                (holdsDuring ?ET
                    (attribute ?E Liquid))))))
Cars.kif 2502-2510


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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