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

Formal Language: 



KB Term:  Term intersection
English Word: 

  atomicNumber

 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 13774-13776
No TPTP formula. May not be expressible in strict first order. Merge.kif 13773-13773 Le nombre 2 argument de atomicNumber est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order. Merge.kif 13772-13772 Le nombre 1 argument de atomicNumber est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 13770-13770 atomicNumber est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 13769-13769 atomicNumber est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 13771-13771 atomicNumber est une instance de relation partielle

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 13778-13790

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28810-28810 atomicNumber Actinium and 89
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27476-27476 atomicNumber Aluminum and 13
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28916-28916 atomicNumber Americium and 95
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28110 atomicNumber Antimony and 51
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27559-27559 atomicNumber Argon and 18
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27807-27807 atomicNumber Arsenic and 33
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28743-28743 atomicNumber Astatine and 85
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28204-28204 atomicNumber Barium and 56
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28950-28950 atomicNumber Berkelium and 97
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27316-27316 atomicNumber Beryllium and 4
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28708-28708 atomicNumber Bismuth and 83
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27332-27332 atomicNumber Boron and 5
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27838-27838 atomicNumber Bromine and 35
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28062-28062 atomicNumber Cadmium and 48
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28178-28178 atomicNumber Caesium and 55
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27590-27590 atomicNumber Calcium and 20
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28967-28967 atomicNumber Californium and 98
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27351-27351 atomicNumber Carbon and 6
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28240-28240 atomicNumber Cerium and 58
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27542-27542 atomicNumber Chlorine and 17
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27664-27664 atomicNumber Chromium and 24
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27710-27710 atomicNumber Cobalt and 27
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27741-27741 atomicNumber Copper and 29
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28933-28933 atomicNumber Curium and 96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28388-28388 atomicNumber Dysprosium and 66

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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