Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - atomicNumber
atomicNumber

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 12760-12762
No TPTP formula. May not be expressible in strict first order. Merge.kif 12759-12759 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 12758-12758 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 12756-12756 atomic number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 12755-12755 atomic number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 12757-12757 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 8959-8959
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8958-8958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8957-8957

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12764-12776

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27015-27015 89 is an atomic number of actinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25757-25757 13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27115-27115 95 is an atomic number of americium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26353-26353 51 is an atomic number of antimony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25835-25835 18 is an atomic number of argon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26068-26068 33 is an atomic number of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26952-26952 85 is an atomic number of astatine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26442-26442 56 is an atomic number of barium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27147-27147 97 is an atomic number of berkelium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25606-25606 4 is an atomic number of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26919-26919 83 is an atomic number of bismuth
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25621-25621 5 is an atomic number of boron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26097-26097 35 is an atomic number of bromine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26308-26308 48 is an atomic number of cadmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26417-26417 55 is an atomic number of caesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25864-25864 20 is an atomic number of calcium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27163-27163 98 is an atomic number of californium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25639-25639 6 is an atomic number of carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26476-26476 58 is an atomic number of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25819-25819 17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25934-25934 24 is an atomic number of chromium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25977-25977 27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26006-26006 29 is an atomic number of copper
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27131-27131 96 is an atomic number of curium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26616-26616 66 is an atomic number of dysprosium

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners