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


KB Term:  Term intersection
English Word: 

  Injecting

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