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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arsenic
Arsenic(arsenic)
As, arsenic, atomic_number_33

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26068-26068 33 is an atomic number of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27429-27429 886 Kelvin degree(s) is a boiling point of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26075-26078
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2108-2108
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1646-1646
No TPTP formula. May not be expressible in strict first order. pictureList.kif 237-237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27428-27428 886 Kelvin degree(s) is a melting point of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26066-26066 "Arsenic" has name arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26065-26065 Arsenic is a subclass of elemental substance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26067-26067 Arsenic is a conventional short name of "As"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8485-8485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8484-8484
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8483-8483

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26069-26073


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