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 13927-13929
No TPTP formula. May not be expressible in strict first order. Merge.kif 13926-13926 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 13925-13925 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 13923-13923 atomic number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13924-13924 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 8947-8947
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13931-13943

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30729-30729 89 is an atomic number of actinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29395-29395 13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30835-30835 95 is an atomic number of americium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30029-30029 51 is an atomic number of antimony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29478-29478 18 is an atomic number of argon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29726-29726 33 is an atomic number of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30662-30662 85 is an atomic number of astatine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30123-30123 56 is an atomic number of barium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30869-30869 97 is an atomic number of berkelium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29235-29235 4 is an atomic number of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30627-30627 83 is an atomic number of bismuth
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29251-29251 5 is an atomic number of boron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29757-29757 35 is an atomic number of bromine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29981-29981 48 is an atomic number of cadmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30097-30097 55 is an atomic number of caesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29509-29509 20 is an atomic number of calcium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30886-30886 98 is an atomic number of californium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29270-29270 6 is an atomic number of carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30159-30159 58 is an atomic number of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29461-29461 17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29583-29583 24 is an atomic number of chromium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29629-29629 27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29660-29660 29 is an atomic number of copper
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30852-30852 96 is an atomic number of curium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30307-30307 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