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


KB Term:  Term intersection
English Word: 

Sigma KEE - electronNumber
electronNumber

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


(instance electronNumber BinaryPredicate) Mid-level-ontology.kif 23976-23976 electron number is an instance of binary predicate
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 23977-23977 electron number is an instance of single valued relation
(instance electronNumber TotalValuedRelation) Mid-level-ontology.kif 23978-23978 electron number is an instance of total valued relation
(domain electronNumber 1 PureSubstance) Mid-level-ontology.kif 23979-23979 The number 1 argument of electron number is an instance of pure substance
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 23980-23980 The number 2 argument of electron number is an instance of positive integer
(documentation electronNumber EnglishLanguage "(electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER.") Mid-level-ontology.kif 23981-23982 The number 2 argument of electron number is an instance of positive integer

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


(format EnglishLanguage electronNumber "%2 is %n an electron number of %1") domainEnglishFormat.kif 885-885
(format ChineseTraditionalLanguage electronNumber "%2 %n 是 %1 的 electron 號碼") domainEnglishFormat.kif 886-886
(format ChineseLanguage electronNumber "%2 %n 是 %1 的 electron 号码") domainEnglishFormat.kif 887-887
(termFormat EnglishLanguage electronNumber "electron number") domainEnglishFormat.kif 21762-21762
(termFormat ChineseTraditionalLanguage electronNumber "電子數") domainEnglishFormat.kif 21763-21763
(termFormat ChineseLanguage electronNumber "电子数") domainEnglishFormat.kif 21764-21764

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


(=>
    (and
        (instance ?R ChemicalReduction)
        (patient ?R ?S)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (electronNumber ?S ?L)))
    (exists (?G)
        (and
            (greaterThan ?G ?L)
            (holdsDuring
                (EndFn
                    (WhenFn ?R))
                (electronNumber ?S ?G)))))		 Mid-level-ontology.kif 21465-21477 If X is an instance of chemical reduction, 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 greater than Z and W is an electron number of Y holds during the end of the time of existence of X
(=>
    (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
        (electronNumber ?SUBSTANCE ?NUMBER)
        (part ?ATOM ?SUBSTANCE)
        (or
            (instance ?ATOM Atom)
            (instance ?ATOM Molecule)))
    (exists (?ELECTRON)
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?ELECTRON
                    (and
                        (part ?ELECTRON ?ATOM)
                        (instance ?ELECTRON Electron)))))))		 Mid-level-ontology.kif 23984-23997 If X is an electron number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W

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


(=>
    (and
        (instance ?R ChemicalReduction)
        (patient ?R ?S)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (electronNumber ?S ?L)))
    (exists (?G)
        (and
            (greaterThan ?G ?L)
            (holdsDuring
                (EndFn
                    (WhenFn ?R))
                (electronNumber ?S ?G)))))		 Mid-level-ontology.kif 21465-21477 If X is an instance of chemical reduction, 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 greater than Z and W is an electron number of Y holds during the end of the time of existence of X
(=>
    (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


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