Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Oxidation(oxidating)
|  | oxidation, oxidisation, oxidization, rusty |
| appearance as argument number 1 |
|
|
| (subclass Oxidation ChemicalSynthesis) | Mid-level-ontology.kif 21479-21479 | Oxidating is a subclass of chemical synthesis |
| (documentation Oxidation EnglishLanguage "Any ChemicalProcess where Electrons are removed from the substance undergoing the ChemicalProcess.") | Mid-level-ontology.kif 21480-21481 | Oxidating is a subclass of chemical synthesis |
| (externalImage Oxidation "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 55/ Rust03102006.JPG/ 250px_Rust03102006.JPG") | pictureList.kif 1207-1207 | Oxidating is a subclass of chemical synthesis |
| appearance as argument number 2 |
|
|
| (disjoint ChemicalReduction Oxidation) | Mid-level-ontology.kif 21461-21461 | Chemical reduction is disjoint from oxidating |
| (relatedInternalConcept Corrosion Oxidation) | Transportation.kif 4797-4797 | Corrosion is internally related to oxidating |
| (termFormat EnglishLanguage Oxidation "oxidating") | domainEnglishFormat.kif 43817-43817 | Corrosion is internally related to oxidating |
| (termFormat ChineseTraditionalLanguage Oxidation "氧化") | domainEnglishFormat.kif 43818-43818 | Corrosion is internally related to oxidating |
| (termFormat ChineseLanguage Oxidation "氧化") | domainEnglishFormat.kif 43819-43819 | Corrosion is internally related to oxidating |
| antecedent |
|
|
| (=> (and (instance ?O Oxidation) (patient ?O ?S) (holdsDuring (BeginFn (WhenFn ?O)) (electronNumber ?S ?G))) (exists (?L) (and (lessThan ?L ?G) (holdsDuring (EndFn (WhenFn ?O)) (electronNumber ?S ?L))))) |
Mid-level-ontology.kif 21483-21495 | If X is an instance of oxidating, Y is a patient of X, and Z is an electron number of Y holds during the beginning of the time of existence of X, then there exists W such that W is less than Z and W is an electron number of Y holds during the end of the time of existence of X |
| (=> (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 |
|