Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| atomicNumber |
| 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 |
|
|
|