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 13912-13914
No TPTP formula. May not be expressible in strict first order. Merge.kif 13911-13911 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 13910-13910 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 13908-13908 atomic number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13909-13909 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 8953-8953
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8952-8952
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8951-8951

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13916-13928

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30488-30488 89 is an atomic number of actinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29154-29154 13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30594-30594 95 is an atomic number of americium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29788-29788 51 is an atomic number of antimony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29237-29237 18 is an atomic number of argon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29485-29485 33 is an atomic number of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30421-30421 85 is an atomic number of astatine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29882-29882 56 is an atomic number of barium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30628-30628 97 is an atomic number of berkelium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28994-28994 4 is an atomic number of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30386-30386 83 is an atomic number of bismuth
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29010-29010 5 is an atomic number of boron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29516-29516 35 is an atomic number of bromine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29740-29740 48 is an atomic number of cadmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29856-29856 55 is an atomic number of caesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29268-29268 20 is an atomic number of calcium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30645-30645 98 is an atomic number of californium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29029-29029 6 is an atomic number of carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29918-29918 58 is an atomic number of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29220-29220 17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29342-29342 24 is an atomic number of chromium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29388-29388 27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29419-29419 29 is an atomic number of copper
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30611-30611 96 is an atomic number of curium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30066-30066 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