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 13774-13776
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13773-13773	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 13772-13772	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 13770-13770	atomic number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13769-13769	atomic number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13771-13771	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 13778-13790

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 28810-28810	89 is an atomic number of actinium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27476-27476	13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28916-28916	95 is an atomic number of americium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28110-28110	51 is an atomic number of antimony
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27559-27559	18 is an atomic number of argon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27807-27807	33 is an atomic number of arsenic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28743-28743	85 is an atomic number of astatine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28204-28204	56 is an atomic number of barium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28950-28950	97 is an atomic number of berkelium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27316-27316	4 is an atomic number of beryllium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28708-28708	83 is an atomic number of bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27332-27332	5 is an atomic number of boron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27838-27838	35 is an atomic number of bromine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28062-28062	48 is an atomic number of cadmium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28178-28178	55 is an atomic number of caesium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27590-27590	20 is an atomic number of calcium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28967-28967	98 is an atomic number of californium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27351-27351	6 is an atomic number of carbon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28240-28240	58 is an atomic number of cerium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27542-27542	17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27664-27664	24 is an atomic number of chromium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27710-27710	27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27741-27741	29 is an atomic number of copper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28933-28933	96 is an atomic number of curium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28388-28388	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: