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 23327-23328
(domain electronNumber 1 PureSubstance) Mid-level-ontology.kif 23325-23325 The number 1 argument of electron number is an instance of pure substance
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 23326-23326 The number 2 argument of electron number is an instance of positive integer
(instance electronNumber BinaryPredicate) Mid-level-ontology.kif 23322-23322 electron number is an instance of binary predicate
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 23323-23323 electron number is an instance of single valued relation
(instance electronNumber TotalValuedRelation) Mid-level-ontology.kif 23324-23324 electron number is an instance of total valued relation

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 21771-21771
(termFormat ChineseTraditionalLanguage electronNumber "電子數") domainEnglishFormat.kif 21770-21770
(termFormat EnglishLanguage electronNumber "electron number") domainEnglishFormat.kif 21769-21769

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 21154-21166
(=>
    (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 21136-21148
(=>
    (electronNumber ?SUBSTANCE ?NUMBER)
    (=>
        (exists (?ATOM)
            (and
                (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 23330-23345

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 21154-21166
(=>
    (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 21136-21148


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 is open source software produced by Articulate Software and its partners