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 13796-13798
(domain atomicNumber 2 PositiveInteger)	Merge.kif 13795-13795	Die Zahl 2 Argument von atomicNumber ist ein fall von PositiveInteger %n{nicht}
(domainSubclass atomicNumber 1 ElementalSubstance)	Merge.kif 13794-13794	Die Zahl 1 Argument von atomicNumber ist eine teilkategorie von ElementalSubstance %n{nicht}
(instance atomicNumber AsymmetricRelation)	Merge.kif 13792-13792	atomicNumber ist ein fall von AsymmetricRelation %n{nicht}
(instance atomicNumber BinaryPredicate)	Merge.kif 13791-13791	atomicNumber ist ein fall von BinaryPredicate %n{nicht}
(instance atomicNumber PartialValuedRelation)	Merge.kif 13793-13793	atomicNumber ist ein fall von PartialValuedRelation %n{nicht}

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 13800-13812

Wenn atomicNumber ** ElementalSubstance and PositiveInteger,
dann
- wenn Object ist ein fall von ** ElementalSubstance %n{nicht} und ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein fall von Atom %n{nicht},
- dann ** PositiveInteger ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}

appearance as argument number 0

(atomicNumber Actinium 89)	Mid-level-ontology.kif 28798-28798	atomicNumber Actinium and 89
(atomicNumber Aluminum 13)	Mid-level-ontology.kif 27464-27464	atomicNumber Aluminum and 13
(atomicNumber Americium 95)	Mid-level-ontology.kif 28904-28904	atomicNumber Americium and 95
(atomicNumber Antimony 51)	Mid-level-ontology.kif 28098-28098	atomicNumber Antimony and 51
(atomicNumber Argon 18)	Mid-level-ontology.kif 27547-27547	atomicNumber Argon and 18
(atomicNumber Arsenic 33)	Mid-level-ontology.kif 27795-27795	atomicNumber Arsenic and 33
(atomicNumber Astatine 85)	Mid-level-ontology.kif 28731-28731	atomicNumber Astatine and 85
(atomicNumber Barium 56)	Mid-level-ontology.kif 28192-28192	atomicNumber Barium and 56
(atomicNumber Berkelium 97)	Mid-level-ontology.kif 28938-28938	atomicNumber Berkelium and 97
(atomicNumber Beryllium 4)	Mid-level-ontology.kif 27304-27304	atomicNumber Beryllium and 4
(atomicNumber Bismuth 83)	Mid-level-ontology.kif 28696-28696	atomicNumber Bismuth and 83
(atomicNumber Boron 5)	Mid-level-ontology.kif 27320-27320	atomicNumber Boron and 5
(atomicNumber Bromine 35)	Mid-level-ontology.kif 27826-27826	atomicNumber Bromine and 35
(atomicNumber Cadmium 48)	Mid-level-ontology.kif 28050-28050	atomicNumber Cadmium and 48
(atomicNumber Caesium 55)	Mid-level-ontology.kif 28166-28166	atomicNumber Caesium and 55
(atomicNumber Calcium 20)	Mid-level-ontology.kif 27578-27578	atomicNumber Calcium and 20
(atomicNumber Californium 98)	Mid-level-ontology.kif 28955-28955	atomicNumber Californium and 98
(atomicNumber Carbon 6)	Mid-level-ontology.kif 27339-27339	atomicNumber Carbon and 6
(atomicNumber Cerium 58)	Mid-level-ontology.kif 28228-28228	atomicNumber Cerium and 58
(atomicNumber Chlorine 17)	Mid-level-ontology.kif 27530-27530	atomicNumber Chlorine and 17
(atomicNumber Chromium 24)	Mid-level-ontology.kif 27652-27652	atomicNumber Chromium and 24
(atomicNumber Cobalt 27)	Mid-level-ontology.kif 27698-27698	atomicNumber Cobalt and 27
(atomicNumber Copper 29)	Mid-level-ontology.kif 27729-27729	atomicNumber Copper and 29
(atomicNumber Curium 96)	Mid-level-ontology.kif 28921-28921	atomicNumber Curium and 96
(atomicNumber Dysprosium 66)	Mid-level-ontology.kif 28376-28376	atomicNumber Dysprosium and 66

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: