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 13829-13831
No TPTP formula. May not be expressible in strict first order. Merge.kif 13828-13828 O argumento numero 2 de atomicNumber e' uma instancia de Inteiro positivo
No TPTP formula. May not be expressible in strict first order. Merge.kif 13827-13827 O argumento numero 1 de atomicNumber e' uma sub-classe de Substancia Elementar
No TPTP formula. May not be expressible in strict first order. Merge.kif 13825-13825 atomicNumber e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 13826-13826 atomicNumber e' uma instancia de Relacao Parcial

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 8949-8949
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8948-8948
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8947-8947

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13833-13845

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29126-29126 atomicNumber Actinium and 89
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27792-27792 atomicNumber Aluminum and 13
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29232-29232 atomicNumber Americium and 95
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28426-28426 atomicNumber Antimony and 51
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27875-27875 atomicNumber Argon and 18
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28123-28123 atomicNumber Arsenic and 33
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29059-29059 atomicNumber Astatine and 85
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28520-28520 atomicNumber Barium and 56
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29266-29266 atomicNumber Berkelium and 97
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27632-27632 atomicNumber Beryllium and 4
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29024-29024 atomicNumber Bismuth and 83
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27648-27648 atomicNumber Boron and 5
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28154-28154 atomicNumber Bromine and 35
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28378-28378 atomicNumber Cadmium and 48
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28494-28494 atomicNumber Caesium and 55
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27906-27906 atomicNumber Calcium and 20
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29283-29283 atomicNumber Californium and 98
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27667-27667 atomicNumber Carbon and 6
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28556-28556 atomicNumber Cerium and 58
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27858-27858 atomicNumber Chlorine and 17
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27980-27980 atomicNumber Chromium and 24
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28026-28026 atomicNumber Cobalt and 27
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28057-28057 atomicNumber Copper and 29
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29249-29249 atomicNumber Curium and 96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28704-28704 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