protonNumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation protonNumber EnglishLanguage "(protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER.")	Mid-level-ontology.kif 23302-23303
(domain protonNumber 1 PureSubstance)	Mid-level-ontology.kif 23300-23300	The number 1 argument of proton number is an instance of pure substance
(domain protonNumber 2 PositiveInteger)	Mid-level-ontology.kif 23301-23301	The number 2 argument of proton number is an instance of positive integer
(instance protonNumber BinaryPredicate)	Mid-level-ontology.kif 23297-23297	proton number is an instance of binary predicate
(instance protonNumber SingleValuedRelation)	Mid-level-ontology.kif 23298-23298	proton number is an instance of single valued relation
(instance protonNumber TotalValuedRelation)	Mid-level-ontology.kif 23299-23299	proton number is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage protonNumber "%2 %n 是 %1 的 proton 号码")	domainEnglishFormat.kif 2079-2079
(format ChineseTraditionalLanguage protonNumber "%2 %n 是 %1 的 proton 號碼")	domainEnglishFormat.kif 2078-2078
(format EnglishLanguage protonNumber "%2 is %n a proton number of %1")	domainEnglishFormat.kif 2077-2077
(termFormat ChineseLanguage protonNumber "质子数")	domainEnglishFormat.kif 47878-47878
(termFormat ChineseTraditionalLanguage protonNumber "質子數")	domainEnglishFormat.kif 47877-47877
(termFormat EnglishLanguage protonNumber "proton number")	domainEnglishFormat.kif 47876-47876

antecedent

(=>
    (protonNumber ?SUBSTANCE ?NUMBER)
    (=>
        (exists (?ATOM)
            (and
                (part ?ATOM ?SUBSTANCE)
                (or
                    (instance ?ATOM Atom)
                    (instance ?ATOM Molecule))))
        (exists (?PROTON)
            (equal ?NUMBER
                (CardinalityFn
                    (KappaFn ?PROTON
                        (and
                            (part ?PROTON ?ATOM)
                            (instance ?PROTON Proton))))))))

Mid-level-ontology.kif 23305-23320

If a positive integer is a proton number of a pure substance,
then
- if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule,
- then there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string

consequent

(=>
    (conjugate ?COMPOUND1 ?COMPOUND2)
    (exists (?NUMBER1 ?NUMBER2)
        (and
            (protonNumber ?COMPOUND1 ?NUMBER1)
            (protonNumber ?COMPOUND2 ?NUMBER2)
            (or
                (equal ?NUMBER1
                    (AdditionFn ?NUMBER2 1))
                (equal ?NUMBER2
                    (AdditionFn ?NUMBER1 1))))))

Mid-level-ontology.kif 7438-7446

If a compound substance is a conjugate of another compound substance,
then there exist a positive integer and another positive integer such that the positive integer is a proton number of the other compound substance and the other positive integer is a proton number of the compound substance and the positive integer is equal to (the other positive integer and 1) or the other positive integer is equal to (the positive integer and 1)

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

KB Term:			Term intersection

English Word: