TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3337-3338
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13822
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13819-13819	The number 2 argument of atomic number is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13818-13818	The number 1 argument of atomic number is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13816-13816	atomic number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13815-13815	atomic number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13817-13817	atomic number is an instance of partial valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 212-212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 211-211
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 210-210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8946-8946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8945-8945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8944-8944

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13824-13836

If a positive integer is an atomic number of a kind of elemental substance,
then
- if an object is an instance of a kind of elemental substance and another object is a part of the object and the other object is an instance of atom,
- then the positive integer is equal to the number of instances in the class described by a symbolic string

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28861-28861	89 is an atomic number of actinium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27527-27527	13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28967-28967	95 is an atomic number of americium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28161-28161	51 is an atomic number of antimony
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27610-27610	18 is an atomic number of argon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27858-27858	33 is an atomic number of arsenic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28794-28794	85 is an atomic number of astatine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28255-28255	56 is an atomic number of barium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29001-29001	97 is an atomic number of berkelium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27367-27367	4 is an atomic number of beryllium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28759-28759	83 is an atomic number of bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27383-27383	5 is an atomic number of boron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27889-27889	35 is an atomic number of bromine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28113-28113	48 is an atomic number of cadmium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28229-28229	55 is an atomic number of caesium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27641-27641	20 is an atomic number of calcium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29018-29018	98 is an atomic number of californium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27402-27402	6 is an atomic number of carbon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28291-28291	58 is an atomic number of cerium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27593-27593	17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27715-27715	24 is an atomic number of chromium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27761-27761	27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27792-27792	29 is an atomic number of copper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28984-28984	96 is an atomic number of curium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28439-28439	66 is an atomic number of dysprosium

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: