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 13796-13798
No TPTP formula. May not be expressible in strict first order. Merge.kif 13795-13795 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 13794-13794 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 13792-13792 atomic number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13791-13791 atomic number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 13793-13793 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 13800-13812

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28798-28798 89 is an atomic number of actinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27464-27464 13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28904-28904 95 is an atomic number of americium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28098-28098 51 is an atomic number of antimony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27547-27547 18 is an atomic number of argon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27795-27795 33 is an atomic number of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28731-28731 85 is an atomic number of astatine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28192-28192 56 is an atomic number of barium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28938-28938 97 is an atomic number of berkelium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27304-27304 4 is an atomic number of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28696-28696 83 is an atomic number of bismuth
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27320-27320 5 is an atomic number of boron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27826-27826 35 is an atomic number of bromine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28050-28050 48 is an atomic number of cadmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28166-28166 55 is an atomic number of caesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27578-27578 20 is an atomic number of calcium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28955-28955 98 is an atomic number of californium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27339-27339 6 is an atomic number of carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28228 58 is an atomic number of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27530-27530 17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27652-27652 24 is an atomic number of chromium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27698-27698 27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27729-27729 29 is an atomic number of copper
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28921-28921 96 is an atomic number of curium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28376-28376 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