TreeView Knowledge Base Browser

appearance as argument number 1

(documentation atomicNumber ChineseLanguage "(atomicNumber ?ELEMENT ?NUMBER)的意思是 ElementalSubstance ?ELEMENT 的原子数是 ?NUMBER。原子数是一个 Atom 核子内 Proton 的数目。")	chinese_format.kif 3337-3338
(documentation atomicNumber EnglishLanguage "(atomicNumber ?ELEMENT ?NUMBER) means that the ElementalSubstance ?ELEMENT has the atomic number ?NUMBER. The atomic number is the number of Protons in the nucleus of an Atom.")	Merge.kif 13667-13669
(domain atomicNumber 2 PositiveInteger)	Merge.kif 13666-13666
(domainSubclass atomicNumber 1 ElementalSubstance)	Merge.kif 13665-13665
(instance atomicNumber AsymmetricRelation)	Merge.kif 13663-13663
(instance atomicNumber BinaryPredicate)	Merge.kif 13662-13662
(instance atomicNumber PartialValuedRelation)	Merge.kif 13664-13664

appearance as argument number 2

(format ChineseLanguage atomicNumber "%2 %n 是 %1 的 atomic 数字")	domainEnglishFormat.kif 212-212
(format ChineseTraditionalLanguage atomicNumber "%2 %n 是 %1 的 atomic 數字")	domainEnglishFormat.kif 211-211
(format EnglishLanguage atomicNumber "%2 is %n an atomic number of %1")	domainEnglishFormat.kif 210-210
(termFormat ChineseLanguage atomicNumber "原子数")	domainEnglishFormat.kif 8946-8946
(termFormat ChineseTraditionalLanguage atomicNumber "原子數")	domainEnglishFormat.kif 8945-8945
(termFormat EnglishLanguage atomicNumber "atomic number")	domainEnglishFormat.kif 8944-8944

antecedent

(=>
    (atomicNumber ?TYPE ?NUMBER)
    (=>
        (and
            (instance ?SUBSTANCE ?TYPE)
            (part ?ATOM ?SUBSTANCE)
            (instance ?ATOM Atom))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))

Merge.kif 13671-13683

appearance as argument number 0

(atomicNumber Actinium 89)	Mid-level-ontology.kif 28711-28711
(atomicNumber Aluminum 13)	Mid-level-ontology.kif 27377-27377
(atomicNumber Americium 95)	Mid-level-ontology.kif 28817-28817
(atomicNumber Antimony 51)	Mid-level-ontology.kif 28011-28011
(atomicNumber Argon 18)	Mid-level-ontology.kif 27460-27460
(atomicNumber Arsenic 33)	Mid-level-ontology.kif 27708-27708
(atomicNumber Astatine 85)	Mid-level-ontology.kif 28644-28644
(atomicNumber Barium 56)	Mid-level-ontology.kif 28105-28105
(atomicNumber Berkelium 97)	Mid-level-ontology.kif 28851-28851
(atomicNumber Beryllium 4)	Mid-level-ontology.kif 27217-27217
(atomicNumber Bismuth 83)	Mid-level-ontology.kif 28609-28609
(atomicNumber Boron 5)	Mid-level-ontology.kif 27233-27233
(atomicNumber Bromine 35)	Mid-level-ontology.kif 27739-27739
(atomicNumber Cadmium 48)	Mid-level-ontology.kif 27963-27963
(atomicNumber Caesium 55)	Mid-level-ontology.kif 28079-28079
(atomicNumber Calcium 20)	Mid-level-ontology.kif 27491-27491
(atomicNumber Californium 98)	Mid-level-ontology.kif 28868-28868
(atomicNumber Carbon 6)	Mid-level-ontology.kif 27252-27252
(atomicNumber Cerium 58)	Mid-level-ontology.kif 28141-28141
(atomicNumber Chlorine 17)	Mid-level-ontology.kif 27443-27443
(atomicNumber Chromium 24)	Mid-level-ontology.kif 27565-27565
(atomicNumber Cobalt 27)	Mid-level-ontology.kif 27611-27611
(atomicNumber Copper 29)	Mid-level-ontology.kif 27642-27642
(atomicNumber Curium 96)	Mid-level-ontology.kif 28834-28834
(atomicNumber Dysprosium 66)	Mid-level-ontology.kif 28289-28289

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: