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 12743-12745
No TPTP formula. May not be expressible in strict first order. Merge.kif 12742-12742 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 12741-12741 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 12739-12739 atomic number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 12738-12738 atomic number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 12740-12740 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 12747-12759

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27042-27042 89 is an atomic number of actinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25784-25784 13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27142-27142 95 is an atomic number of americium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26380-26380 51 is an atomic number of antimony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25862-25862 18 is an atomic number of argon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26095-26095 33 is an atomic number of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26979-26979 85 is an atomic number of astatine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26469-26469 56 is an atomic number of barium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27174-27174 97 is an atomic number of berkelium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25633-25633 4 is an atomic number of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26946-26946 83 is an atomic number of bismuth
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25648-25648 5 is an atomic number of boron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26124-26124 35 is an atomic number of bromine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26335-26335 48 is an atomic number of cadmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26444-26444 55 is an atomic number of caesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25891-25891 20 is an atomic number of calcium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27190-27190 98 is an atomic number of californium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25666-25666 6 is an atomic number of carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26503-26503 58 is an atomic number of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25846-25846 17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25961-25961 24 is an atomic number of chromium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26004-26004 27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26033-26033 29 is an atomic number of copper
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27158-27158 96 is an atomic number of curium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26643-26643 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners