Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Corrosion
Corrosion(corrosion)

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


(subclass Corrosion Removing) Transportation.kif 4795-4795 Corrosion is a subclass of removing
(subclass Corrosion ChemicalSynthesis) Transportation.kif 4796-4796 Corrosion is a subclass of chemical synthesis
(relatedInternalConcept Corrosion Oxidation) Transportation.kif 4797-4797 Corrosion is internally related to oxidating
(documentation Corrosion EnglishLanguage "Corrosion is a natural process that converts a refined metal into a more chemically stable oxide. It is the gradual deterioration of materials by chemical or electrochemical reaction with their environment. [Wikipedia]") Transportation.kif 4798-4800 Corrosion is internally related to oxidating

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


(termFormat EnglishLanguage Corrosion "corrosion") Transportation.kif 4801-4801
(subclass Rusting Corrosion) Transportation.kif 4825-4825 Rusting is a subclass of corrosion

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


(=>
    (instance ?C Corrosion)
    (exists (?S ?R ?P)
        (and
            (instance ?S Substance)
            (patient ?C ?S)
            (instance ?R Removing)
            (patient ?R ?P)
            (part ?P ?S)
            (result ?C ?R))))		 Transportation.kif 4803-4812 If X is an instance of corrosion, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of substance (3) Y is a patient of X (4) Z is an instance of removing (5) W is a patient of Z (6) W is a part of Y (7) Z is a result of X

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


(=>
    (attribute ?G HazardousGases)
    (and
        (instance ?G Substance)
        (attribute ?G Gas)
        (capability Combustion resource ?G)
        (capability Damaging resource ?G)
        (capability Corrosion resource ?G)))		 Transportation.kif 4682-4689 If hazardous gases is an attribute of X, then X is an instance of substance, gas is an attribute of X, X is capable of doing burning as a resource, X is capable of doing damaging as a resource, and X is capable of doing corrosion as a resource
(=>
    (and
        (attribute ?G CorrosiveSubstance)
        (instance ?G Substance))
    (capability Corrosion instrument ?G))		 Transportation.kif 4788-4792 If corrosive substance is an attribute of X and X is an instance of substance, then X is capable of doing corrosion as a instrument
(=>
    (and
        (instance ?M Metal)
        (instance ?O Oxidation)
        (patient ?O Metal))
    (exists (?C)
        (and
            (instance ?C Corrosion)
            (patient ?C ?M)
            (causes ?O ?C))))		 Transportation.kif 4814-4823 If X is an instance of metal, Y is an instance of oxidating, and metal is a patient of Y, then there exists Z such that Z is an instance of corrosion, X is a patient of Z, and Y causes Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners