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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Strontium
Strontium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27942-27942 atomicNumber Strontium and 38
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29307-29307 boilingPoint Strontium and 1657.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27950-27954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2007-2007
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2380-2380
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1257-1257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29306-29306 meltingPoint Strontium and 1042.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27940-27940 "Strontium" se chama nome Strontium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31520-31520 roomTempState Strontium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27939-27939 Strontium e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27941-27941 conventionalShortName "Sr" and Strontium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55670-55670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55669-55669
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55668-55668

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


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


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