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 electronNumber の数値 1 引数は 純物質 の instance では
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 23326-23326 electronNumber の数値 2 引数は 正の整数 の instance では
(instance electronNumber BinaryPredicate) Mid-level-ontology.kif 23322-23322 electronNumber は 2進述語 の instance では
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 23323-23323 electronNumber は 一価関係 の instance では
(instance electronNumber TotalValuedRelation) Mid-level-ontology.kif 23324-23324 electronNumber は 合計値関係 の instance では

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