TreeView 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 21685-21686
(domain protonNumber 1 PureSubstance)	Mid-level-ontology.kif 21683-21683	protonNumber の数値 1 引数は純物質の instance では %n
(domain protonNumber 2 PositiveInteger)	Mid-level-ontology.kif 21684-21684	protonNumber の数値 2 引数は正の整数の instance では %n
(instance protonNumber BinaryPredicate)	Mid-level-ontology.kif 21680-21680	protonNumber は 2進述語の instance では %n
(instance protonNumber SingleValuedRelation)	Mid-level-ontology.kif 21681-21681	protonNumber は一価関係の instance では %n
(instance protonNumber TotalValuedRelation)	Mid-level-ontology.kif 21682-21682	protonNumber は合計値関係の instance では %n

appearance as argument number 2

(format ChineseLanguage protonNumber "%2 %n 是 %1 的 proton 号码")	domainEnglishFormat.kif 2075-2075
(format ChineseTraditionalLanguage protonNumber "%2 %n 是 %1 的 proton 號碼")	domainEnglishFormat.kif 2074-2074
(format EnglishLanguage protonNumber "%2 is %n a proton number of %1")	domainEnglishFormat.kif 2073-2073
(termFormat ChineseLanguage protonNumber "质子数")	domainEnglishFormat.kif 47876-47876
(termFormat ChineseTraditionalLanguage protonNumber "質子數")	domainEnglishFormat.kif 47875-47875
(termFormat EnglishLanguage protonNumber "proton number")	domainEnglishFormat.kif 47874-47874

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 21688-21703

protonNumber 純物質 and 正の整数
- オブジェクトオブジェクトは純物質の part では %n オブジェクトは原子の instance では %n オブジェクトは分子の instance では %n
- 記号文字列正の整数は記号文字列で記述される class の instances の数と equal では %n

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 6501-6509

conjugate 合成物質 and 合成物質
正の整数正の整数 protonNumber 合成物質 and 正の整数 protonNumber 合成物質 and 正の整数正の整数は ( 正の整数 + 1) と equal では %n 正の整数は ( 正の整数 + 1) と equal では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: