TreeView Knowledge Base Browser

appearance as argument number 1

(instance atomicNumber BinaryPredicate)	Merge.kif 14079-14079	atomic number is an instance of binary predicate
(instance atomicNumber PartialValuedRelation)	Merge.kif 14080-14080	atomic number is an instance of partial valued relation
(domainSubclass atomicNumber 1 ElementalSubstance)	Merge.kif 14081-14081	The number 1 argument of atomic number is a subclass of elemental substance
(domain atomicNumber 2 PositiveInteger)	Merge.kif 14082-14082	The number 2 argument of atomic number is an instance of positive integer
(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 14083-14085	The number 2 argument of atomic number is an instance of positive integer

appearance as argument number 2

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

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 14087-14099

Assuming X is an atomic number of Y, it follows that: if Z is an instance of Y, W is a part of Z, and W is an instance of atom, then equal X and the number of instances in the class described by V

appearance as argument number 0

(atomicNumber Hydrogen 1)	Mid-level-ontology.kif 29896-29896	1 is an atomic number of hydrogen
(atomicNumber Helium 2)	Mid-level-ontology.kif 29912-29912	2 is an atomic number of helium
(atomicNumber Lithium 3)	Mid-level-ontology.kif 29928-29928	3 is an atomic number of lithium
(atomicNumber Beryllium 4)	Mid-level-ontology.kif 29942-29942	4 is an atomic number of beryllium
(atomicNumber Boron 5)	Mid-level-ontology.kif 29958-29958	5 is an atomic number of boron
(atomicNumber Carbon 6)	Mid-level-ontology.kif 29977-29977	6 is an atomic number of carbon
(atomicNumber Nitrogen 7)	Mid-level-ontology.kif 29995-29995	7 is an atomic number of nitrogen
(atomicNumber Oxygen 8)	Mid-level-ontology.kif 30013-30013	8 is an atomic number of oxygen
(atomicNumber Fluorine 9)	Mid-level-ontology.kif 30033-30033	9 is an atomic number of fluorine
(atomicNumber Neon 10)	Mid-level-ontology.kif 30050-30050	10 is an atomic number of neon
(atomicNumber Sodium 11)	Mid-level-ontology.kif 30068-30068	11 is an atomic number of sodium
(atomicNumber Magnesium 12)	Mid-level-ontology.kif 30084-30084	12 is an atomic number of magnesium
(atomicNumber Aluminum 13)	Mid-level-ontology.kif 30102-30102	13 is an atomic number of aluminum
(atomicNumber Silicon 14)	Mid-level-ontology.kif 30120-30120	14 is an atomic number of silicon
(atomicNumber Phosphorus 15)	Mid-level-ontology.kif 30137-30137	15 is an atomic number of phosphorus
(atomicNumber Sulphur 16)	Mid-level-ontology.kif 30152-30152	16 is an atomic number of sulphur
(atomicNumber Chlorine 17)	Mid-level-ontology.kif 30168-30168	17 is an atomic number of chlorine
(atomicNumber Argon 18)	Mid-level-ontology.kif 30185-30185	18 is an atomic number of argon
(atomicNumber Potassium 19)	Mid-level-ontology.kif 30200-30200	19 is an atomic number of potassium
(atomicNumber Calcium 20)	Mid-level-ontology.kif 30216-30216	20 is an atomic number of calcium
(atomicNumber Scandium 21)	Mid-level-ontology.kif 30231-30231	21 is an atomic number of scandium
(atomicNumber Titanium 22)	Mid-level-ontology.kif 30247-30247	22 is an atomic number of titanium
(atomicNumber Vanadium 23)	Mid-level-ontology.kif 30263-30263	23 is an atomic number of vanadium
(atomicNumber Chromium 24)	Mid-level-ontology.kif 30290-30290	24 is an atomic number of chromium
(atomicNumber Manganese 25)	Mid-level-ontology.kif 30304-30304	25 is an atomic number of manganese

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: