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

Formal Language: 



KB Term:  Term intersection
English Word: 

  electronNumber

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 22000-22001
(domain electronNumber 1 PureSubstance) Mid-level-ontology.kif 21998-21998 Le nombre 1 argument de electronNumber est une instance de substance pure
(domain electronNumber 2 PositiveInteger) Mid-level-ontology.kif 21999-21999 Le nombre 2 argument de electronNumber est une instance de nombre entier positif
(instance electronNumber BinaryPredicate) Mid-level-ontology.kif 21995-21995 electronNumber est une instance de pr�dicat binaire
(instance electronNumber SingleValuedRelation) Mid-level-ontology.kif 21996-21996 electronNumber est une instance de relation simple
(instance electronNumber TotalValuedRelation) Mid-level-ontology.kif 21997-21997 electronNumber est une instance de relation total

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

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 19873-19885
(=>
    (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 19855-19867
(=>
    (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 22003-22018

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 19873-19885
(=>
    (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 19855-19867


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