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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - electronNumber
electronNumber

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


(documentation electronNumber EnglishLanguage "(electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER.") Mid-level-ontology.kif 19499-19500
(domain electronNumber 1 PureSubstance) Mid-level-ontology.kif 19497-19497
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 19498-19498
(instance electronNumber BinaryPredicate) Mid-level-ontology.kif 19494-19494
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 19495-19495
(instance electronNumber TotalValuedRelation) Mid-level-ontology.kif 19496-19496

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


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

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 17361-17373
(=>
    (and
        (instance ?R ChemicalReduction)
        (patient ?R ?S)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (electronNumber ?S ?L)))
    (and
        (greaterThan ?G ?L)
        (holdsDuring
            (EndFn
                (WhenFn ?R))
            (electronNumber ?S ?G))))
Mid-level-ontology.kif 17344-17355
(=>
    (electronNumber ?TYPE ?NUMBER)
    (=>
        (and
            (part ?ATOM ?SUBSTANCE)
            (or
                (instance ?ATOM Atom)
                (instance ?ATOM Molecule)))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?ELECTRON
                    (and
                        (part ?ELECTRON ?ATOM)
                        (instance ?ELECTRON Electron)))))))
Mid-level-ontology.kif 19502-19515

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


(=>
    (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 17361-17373
(=>
    (and
        (instance ?R ChemicalReduction)
        (patient ?R ?S)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (electronNumber ?S ?L)))
    (and
        (greaterThan ?G ?L)
        (holdsDuring
            (EndFn
                (WhenFn ?R))
            (electronNumber ?S ?G))))
Mid-level-ontology.kif 17344-17355


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners