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 13796-13798
No TPTP formula. May not be expressible in strict first order. Merge.kif 13795-13795 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 13794-13794 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 13792-13792 atomicNumber e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 13791-13791 atomicNumber e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 13793-13793 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 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 atomicNumber Actinium and 89
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27464-27464 atomicNumber Aluminum and 13
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28904-28904 atomicNumber Americium and 95
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28098-28098 atomicNumber Antimony and 51
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27547-27547 atomicNumber Argon and 18
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27795-27795 atomicNumber Arsenic and 33
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28731-28731 atomicNumber Astatine and 85
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28192-28192 atomicNumber Barium and 56
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28938-28938 atomicNumber Berkelium and 97
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27304-27304 atomicNumber Beryllium and 4
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28696-28696 atomicNumber Bismuth and 83
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27320-27320 atomicNumber Boron and 5
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27826-27826 atomicNumber Bromine and 35
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28050-28050 atomicNumber Cadmium and 48
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28166-28166 atomicNumber Caesium and 55
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27578-27578 atomicNumber Calcium and 20
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28955-28955 atomicNumber Californium and 98
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27339-27339 atomicNumber Carbon and 6
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28228 atomicNumber Cerium and 58
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27530-27530 atomicNumber Chlorine and 17
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27652-27652 atomicNumber Chromium and 24
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27698-27698 atomicNumber Cobalt and 27
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27729-27729 atomicNumber Copper and 29
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28921-28921 atomicNumber Curium and 96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28376-28376 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